## 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: | 87 - 20 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

### 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.