Turning SOS Rules into Equations (1994)
Cached
Download Links
- [www.cwi.nl]
- [www.cs.kun.nl]
- [www.lix.polytechnique.fr]
- DBLP
Other Repositories/Bibliography
by
Luca Aceto
,
Bard Bloom
,
Frits Vaandrager
| Citations: | 77 - 16 self |
BibTeX
@MISC{Aceto94turningsos,
author = {Luca Aceto and Bard Bloom and Frits Vaandrager},
title = {Turning SOS Rules into Equations},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Many process algebras are defined by structural operational semantics (SOS). Indeed, most such definitions are nicely structured and fit the GSOS format of [15]. We give a procedure for converting any GSOS language definition to a finite complete equational axiom system (possibly with one infinitary induction principle) which precisely characterizes strong bisimulation of processes.
