Towards characterizing bisimilarity of value-passing processes with context-free control

✍ Scribed by Pawel

• Publisher: Elsevier Science
• Year: 1998
• Tongue: English
• Weight: 432 KB
• Volume: 18
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80258-0

✦ Synopsis

A v alue-passing version of normed context-free processes is considered, where process behaviours depend on a global state of data variables. The problem of characterizing bisimilarity of such processes is posed. A solution of the formulated problem is presented for a restricted class of processes and possibilities of extending the result are discussed. The presented solution exploits a tableau decision method for pure, normed, context-free processes: based on a tableau, a system of implications is formulated, solution of which c haracterizes bisimulation equivalence for a pair of value-passing processes.