Modal logics for mobile processes
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980