CCS, locations and asynchronous transition systems

Publisher Website

1 January 1992

book chapter
Published by Springer Nature

p. 328-341
https://doi.org/10.1007/3-540-56287-7_116

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Elementary transition systems
Theoretical Computer Science, 1992
Nets, Terms and Formulas
Published by Cambridge University Press (CUP) ,1991
A distributed operational semantics for CCS based on condition/event systems
Acta Informatica, 1988
Concurrent Machines
The Computer Journal, 1985