Analysing TM FS : A study of nondeterminism in real-time concurrency

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 36-63
https://doi.org/10.1007/3-540-53932-8_43

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

An improved failures model for communicating processes
Published by Springer Nature ,1985
A Theory of Communicating Sequential Processes
Journal of the ACM, 1984