About permutation algebras, (pre)sheaves and named sets

DOI10.1007/S10990-006-8749-3zbMath1105.68083OpenAlexW2139148957MaRDI QIDQ853745

Ugo Montanari, Marino Miculan, Fabio Gadducci

Publication date: 17 November 2006

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10990-006-8749-3

zbMATH Keywords

Named setsNominal calculiPermutation algebrasPresheaf categories

Mathematics Subject Classification ID

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

Related Items (21)

Relating Coalgebraic Notions of Bisimulation ⋮ Causal Trees, Finally ⋮ Regular behaviours with names: on rational fixpoints of endofunctors on nominal sets ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ A presheaf environment for the explicit fusion calculus ⋮ Exploring nominal cellular automata ⋮ Algebras for Tree Decomposable Graphs ⋮ Behavioural equivalences for coalgebras with unobservable moves ⋮ A coalgebraic semantics for causality in Petri nets ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ αCheck: A mechanized metatheory model checker ⋮ A Category of Explicit Fusions ⋮ Ugo Montanari and Software Verification ⋮ Equational presentations of functors and monads ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ Revisiting causality, coalgebraically ⋮ PNL to HOL: from the logic of nominal sets to the logic of higher-order functions ⋮ Event based choreography ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours ⋮ Denotational Semantics with Nominal Scott Domains ⋮ A Name Abstraction Functor for Named Sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new approach to abstract syntax with variable binding
• Notions of computation and monads
• A fully abstract model for the \(\pi\)-calculus.
• Universal coalgebra: A theory of systems
• Compositional SOS and beyond: A coalgebraic view of open systems
• Nominal logic, a first order theory of names and binding
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Semantics for Algebraic Operations
• Consistency of the theory of contexts
• Foundations of Software Science and Computational Structures

This page was built for publication: About permutation algebras, (pre)sheaves and named sets