Searching for "A Spatial Logic for Concurrency." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
A Spatial Logic for Concurrency (Part II)
- … A Spatial Logic for Concurrency (Part II) Lu'is Caires Luca Cardelli Departamento de Inform…
- Add To MetaCart
-
A Spatial Logic for Concurrency (Part I)
- …A Spatial Logic for Concurrency (Part I) Lus Caires 1 and Luca Cardelli 2 1 Departamento de…
- Cited by 105 (8 self) – Add To MetaCart
-
A Spatial Logic for Concurrency (Part II)
- … A Spatial Logic for Concurrency (Part II) Lu'is Caires1 and Luca Cardelli2 1 Departamento de…
- Cited by 47 (4 self) – Add To MetaCart
-
A Spatial Logic for Concurrency (Part II)
- … A Spatial Logic for Concurrency (Part II) Lu'is Caires Luca Cardelli Departamento de Inform…
- Add To MetaCart
-
Behavioral and Spatial Observations in a Logic for the π-Calculus
- …-defined model of space. Therefore, a spatial logic for concurrent processes should separate processes according…
- Cited by 9 (0 self) – Add To MetaCart
-
Behavioral and Spatial Observationsin a Logic for the p-Calculus
- …-defined model of space. Therefore, a spatial logic for concurrent processes should separate processes according…
- Add To MetaCart
-
Behavioral and Spatial Observationsin a Logic for the p-Calculus
- …-defined model of space. Therefore, a spatial logic for concurrent processes should separate processes according…
- Add To MetaCart
-
PROFUNDIS: Periodic Progress Report Year 1
- …. These objectives have been attained. A spatial logic to describe and verify properties of concurrent systems…
- Add To MetaCart
Showing 1 through 8.
