Pages that link to "Item:Q1881257"
From MaRDI portal
The following pages link to A spatial logic for concurrency. II (Q1881257):
Displaying 7 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 Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
