A Spatial Logic for Concurrency (Part I)
- 10 October 2001
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Relevance logic and concurrent compositionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Logical Properites of Name RestrictionPublished by Springer Nature ,2001
- Extensionality and intensionality of the ambient logicsPublished by Association for Computing Machinery (ACM) ,2001
- From Process Calculi to Process FrameworksPublished by Springer Nature ,2000
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- Multisets and structural congruence of the pi-calculus with replicationTheoretical Computer Science, 1999
- Verifiable and executable logic specifications of concurrent objects in $$\mathcal{L}_\pi$$Published by Springer Nature ,1998
- On asynchronous communication semanticsPublished by Springer Nature ,1992
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- Results on the propositional μ-calculusTheoretical Computer Science, 1983