An introduction to PSFd
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 272-285
- https://doi.org/10.1007/3-540-50940-2_41
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Verification of an alternating bit protocol by means of process algebra protocolPublished by Springer Nature ,1986
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980