Symmetries, local names and dynamic (de)-allocation of names

DOI10.1016/j.ic.2009.10.007zbMath1207.68223OpenAlexW2053839461MaRDI QIDQ618165

Vincenzo Ciancia, Ugo Montanari

Publication date: 14 January 2011

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2009.10.007

zbMATH Keywords

final coalgebra\(\pi \)-calculusbehavioural functorscausal bisimulationname-passing calculipermutation algebra

Mathematics Subject Classification ID

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

Related Items

Network Conscious π-calculus: A Concurrent Semantics ⋮ Causal Trees, Finally ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ Unnamed Item ⋮ Order algebras: a quantitative model of interaction ⋮ Exploring nominal cellular automata ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Revisiting causality, coalgebraically ⋮ Fast computations on ordered nominal sets ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Denotational Semantics with Nominal Scott Domains

Cites Work

• A new approach to abstract syntax with variable binding
• About permutation algebras, (pre)sheaves and named sets
• A calculus of communicating systems
• A calculus of mobile processes. I
• Universal coalgebra: A theory of systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Comparing operational models of name-passing process calculi
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Concurrent bisimulations in Petri nets
• A Name Abstraction Functor for Named Sets
• A Category of Explicit Fusions
• Institutions: abstract model theory for specification and programming
• A fully abstract semantics for causality in the π-calculus
• A Compositional Coalgebraic Model of a Fragment of Fusion Calculus
• A Categorical Model of the Fusion Calculus
• Semantic constructions for the specification of objects
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item