TURNING SOS RULES INTO EQUATIONS

Authors
ACETO L BLOOM B VAANDRAGER F
Citation
L. Aceto et al., TURNING SOS RULES INTO EQUATIONS, Information and computation, 111(1), 1994, pp. 1-52
Citations number
57
Categorie Soggetti
Information Science & Library Science",Mathematics,"Computer Science Information Systems
Journal title
Information and computation → ACNP
ISSN journal
08905401
Volume
111
Issue
1
Year of publication
1994
Pages
1 - 52
Database
ISI
SICI code
0890-5401(1994)111:1<1:TSRIE>2.0.ZU;2-L
Abstract
Many process algebras are defined by structural operational semantics (SOS). Indeed, most such definitions are nicely structured and fit the GSOS format of Bloom et al. (J. Assoc. Comput. Mach., to appear). We give a procedure for converting any GSOS language definition to a fini te complete equational axiom system (possibly with one infinitary indu ction principle) which precisely characterizes strong bisimulation of processes. (C) 1994 Academic Press, Inc.