A spatial logic for concurrency—II
- 6 September 2004
- journal article
- conference paper
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 322 (3), 517-565
- https://doi.org/10.1016/j.tcs.2003.10.041
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A spatial logic for concurrency (part I)Information and Computation, 2003
- Separability, expressiveness, and decidability in the ambient logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A new approach to abstract syntax involving bindersPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Relevance logic and concurrent compositionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Deciding validity in a spatial logic for treesPublished by Association for Computing Machinery (ACM) ,2003
- A Spatial Logic for Concurrency (Part II)Lecture Notes in Computer Science, 2002
- A Spatial Logic for Querying GraphsLecture Notes in Computer Science, 2002
- Anytime, anywherePublished by Association for Computing Machinery (ACM) ,2000
- The Logic of Bunched ImplicationsBulletin of Symbolic Logic, 1999
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985