Pages that link to "Item:Q1881257"
From MaRDI portal
The following pages link to A spatial logic for concurrency. II (Q1881257):
Displaying 11 items.
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- Abstract interpretation based verification of temporal properties for BioAmbients (Q989287) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Manipulating Trees with Hidden Labels (Q2864150) (← links)
- Co-Algebraic Models for Quantitative Spatial Logics (Q2870283) (← links)
- Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax (Q3011103) (← links)
- A Logic for Distributed Higher Order π-Calculus (Q3502660) (← links)
- Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes (Q3523110) (← links)
- Spatial-Behavioral Types, Distributed Services, and Resources (Q3608455) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- PHYSARUM SPATIAL LOGIC (Q5388703) (← links)
