Pages that link to "Item:Q5308443"

The following pages link to Foundations of Software Science and Computation Structures (Q5308443):

Displaying 13 items.

• Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
• Resources, concurrency, and local reasoning (Q879368) (← links)
• Spatial-behavioral types for concurrency and resource control in distributed systems (Q935465) (← links)
• A theory of structural stationarity in the \(\pi\)-calculus (Q1014276) (← 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)
• 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)