Spatial and behavioral types in the pi-calculus

DOI10.1016/j.ic.2009.10.011zbMath1209.68331OpenAlexW2075221622MaRDI QIDQ1959478

Lucia Acciai, Michele Boreale

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

zbMATH Keywords

pi-calculusspatial logicbehavioral type systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

• SLMC
• PIPER

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