scientific article; zbMATH DE number 2087427
From MaRDI portal
Publication:4738222
zbMath1077.68716MaRDI QIDQ4738222
Marco Pistore, Ugo Montanari, Gian-Luigi Ferrari
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2303/23030129.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (14)
Coinductive predicates and final sequences in a fibration ⋮ Relating Coalgebraic Notions of Bisimulation ⋮ About permutation algebras, (pre)sheaves and named sets ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ A Category of Explicit Fusions ⋮ Ugo Montanari and Software Verification ⋮ Modalities in the Stone age: a comparison of coalgebraic logics ⋮ Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types ⋮ Comparing operational models of name-passing process calculi ⋮ Equational Coalgebraic Logic ⋮ Coinductive predicates and final sequences in a fibration ⋮ A Well-behaved LTS for the Pi-calculus ⋮ A Name Abstraction Functor for Named Sets
This page was built for publication:
