Pages that link to "Item:Q5308443"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308443):
Displaying 18 items.
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- A behavioural theory for a \(\pi\)-calculus with preorders (Q890617) (← links)
- Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
- A spatial equational logic for the applied \(\pi \)-calculus (Q992517) (← links)
- A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← links)
- A spatial logic for concurrency. I (Q1887152) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- Using session types for reasoning about boundedness in the \(\pi\)-calculus (Q2216475) (← links)
- Elimination of quantifiers and undecidability in spatial logics for concurrency (Q2503043) (← links)
- Graphical verification of a spatial logic for the {\(\pi\)}-calculus (Q2852049) (← links)
- Undecidability of model checking in brane logic (Q2864500) (← links)
- Extensionality of spatial observations in distributed systems (Q2866349) (← links)
- Co-algebraic models for quantitative spatial logics (Q2870283) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- (Q5014801) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
- Hybrid Systems: Computation and Control (Q5307947) (← links)