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

DOI10.1016/J.IC.2009.10.007MaRDI QIDQ618165zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A name abstraction functor for named sets
• Comparing operational models of name-passing process calculi
• Comparing operational models of name-passing process calculi
• scientific article; zbMATH DE number 1759443
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 3667032 (Why is no real title available?)
• scientific article; zbMATH DE number 1231616 (Why is no real title available?)
• scientific article; zbMATH DE number 1314223 (Why is no real title available?)
• scientific article; zbMATH DE number 475362 (Why is no real title available?)
• scientific article; zbMATH DE number 1059331 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1086714 (Why is no real title available?)
• scientific article; zbMATH DE number 1927579 (Why is no real title available?)
• scientific article; zbMATH DE number 1759443 (Why is no real title available?)
• scientific article; zbMATH DE number 2172972 (Why is no real title available?)
• scientific article; zbMATH DE number 2087427 (Why is no real title available?)
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• A Category of Explicit Fusions
• A calculus of communicating systems
• A calculus of mobile processes. I
• A categorical model of the fusion calculus
• A compositional coalgebraic model of a fragment of fusion calculus
• A fully abstract semantics for causality in the π-calculus
• A name abstraction functor for named sets
• A new approach to abstract syntax with variable binding
• About permutation algebras, (pre)sheaves and named sets
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Comparing operational models of name-passing process calculi
• Compositional SOS and beyond: A coalgebraic view of open systems
• Concurrent bisimulations in Petri nets
• Institutions: abstract model theory for specification and programming
• Relationally staged computations in calculi of mobile processes
• Semantic constructions for the specification of objects
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Universal coalgebra: A theory of systems

Cited in

(17)

• A class of automata for the verification of infinite, resource-allocating behaviours
• A name abstraction functor for named sets
• Denotational semantics with nominal Scott domains
• A presheaf environment for the explicit fusion calculus
• scientific article; zbMATH DE number 7136664 (Why is no real title available?)
• Relating two semantics of locally scoped names
• Causal trees, finally
• A coalgebraic semantics for causality in Petri nets
• Comparing operational models of name-passing process calculi
• Families of symmetries as efficient models of resource binding
• Comparing operational models of name-passing process calculi
• Network Conscious π-calculus: A Concurrent Semantics
• Fast computations on ordered nominal sets
• Revisiting causality, coalgebraically
• Exploring nominal cellular automata
• Order algebras: a quantitative model of interaction
• Symmetries and Dualities in Name-Passing Process Calculi

This page was built for publication: Symmetries, local names and dynamic (de)-allocation of names

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q618165)