Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)

✍ Scribed by Mario Bravetti; Roberto Gorrieri

• Publisher: Elsevier Science
• Year: 1999
• Tongue: English
• Weight: 471 KB
• Volume: 27
• Category: Article
• ISSN: 1571-0661
• DOI: 10.1016/s1571-0661(05)80298-1