A Complete Inference System for Regular Processes with Silent Moves
- 1 January 1987
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Process algebra for synchronous communicationInformation and Control, 1984