Barbed bisimulation
Authors:
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 685-695
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Modal logics for mobile processesLecture Notes in Computer Science, 1991
- The chemical abstract machine1990
- Structured operational semantics and bisimulation as a congruence1989