Barbed bisimulation

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 685-695
https://doi.org/10.1007/3-540-55719-9_114

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Modal logics for mobile processes
Published by Springer Nature ,1991
The chemical abstract machine
Published by Association for Computing Machinery (ACM) ,1990
Structured operational semantics and bisimulation as a congruence
Published by Springer Nature ,1989