Spatial and behavioral types in the pi-calculus
From MaRDI portal
Publication:1959478
DOI10.1016/j.ic.2009.10.011zbMath1209.68331OpenAlexW2075221622MaRDI QIDQ1959478
Publication date: 7 October 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.10.011
Related Items (4)
A Calculus for Modeling Floating Authorizations ⋮ An algebra of behavioural types ⋮ Deciding safety properties in infinite-state pi-calculus via behavioural types ⋮ A calculus for modeling floating authorizations
Uses Software
Cites Work
- Unnamed Item
- Responsiveness in process calculi
- A generic type system for the pi-calculus
- A spatial logic for concurrency. I
- The name discipline of uniform receptiveness
- Type-based information flow analysis for the \(\pi\)-calculus
- A Type System for Client Progress in a Service-Oriented Calculus
- Type Abstractions of Name-Passing Processes
- A Hybrid Type System for Lock-Freedom of Mobile Processes
- Spatial and Behavioral Types in the Pi-Calculus
- Spatial-Behavioral Types, Distributed Services, and Resources
- Logical Semantics of Types for Concurrency
- Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
- Anytime, anywhere
- Types as models
- Foundations of Software Science and Computation Structures
- Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus
- Automata, Languages and Programming
- Verification, Model Checking, and Abstract Interpretation
- Well-structured transition systems everywhere!
- Structural inclusion in the pi-calculus with replication
This page was built for publication: Spatial and behavioral types in the pi-calculus