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

DOI10.1016/J.IC.2009.10.007zbMATH Open1207.68223OpenAlexW2053839461MaRDI QIDQ618165FDOQ618165

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

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

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)

Cites Work

• Universal coalgebra: A theory of systems
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Comparing operational models of name-passing process calculi
• Concurrent bisimulations in Petri nets
• Title not available (Why is that?)
• Institutions: abstract model theory for specification and programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• A categorical model of the fusion calculus
• A new approach to abstract syntax with variable binding
• A calculus of mobile processes. I
• A calculus of communicating systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• About permutation algebras, (pre)sheaves and named sets
• Compositional SOS and beyond: A coalgebraic view of open systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relationally staged computations in calculi of mobile processes
• A name abstraction functor for named sets
• A Category of Explicit Fusions
• Title not available (Why is that?)
• A fully abstract semantics for causality in the π-calculus
• A compositional coalgebraic model of a fragment of fusion calculus
• Semantic constructions for the specification of objects

Cited In (17)

• A name abstraction functor for named sets
• Denotational semantics with nominal Scott domains
• A presheaf environment for the explicit fusion calculus
• Title not available (Why is that?)
• 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
• Fast computations on ordered nominal sets
• Network Conscious π-calculus: A Concurrent Semantics
• Revisiting causality, coalgebraically
• Exploring nominal cellular automata
• Order algebras: a quantitative model of interaction
• Symmetries and Dualities in Name-Passing Process Calculi
• A class of automata for the verification of infinite, resource-allocating behaviours

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)