scientific article; zbMATH DE number 1759443
From MaRDI portal
Publication:4536393
zbMath0996.68125MaRDI QIDQ4536393
Publication date: 4 November 2002
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)
A compositional coalgebraic model of fusion calculus ⋮ Nominal Automata for Resource Usage Control ⋮ About permutation algebras, (pre)sheaves and named sets ⋮ Families of Symmetries as Efficient Models of Resource Binding ⋮ Exploring nominal cellular automata ⋮ Symmetries, local names and dynamic (de)-allocation of names ⋮ On-the-fly bisimilarity checking for fresh-register automata ⋮ Regular and context-free nominal traces ⋮ Modelling and Verifying Mobile Systems Using π-Graphs ⋮ Event based choreography ⋮ Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus ⋮ Denotational Semantics with Nominal Scott Domains ⋮ A general framework for types in graph rewriting ⋮ A Name Abstraction Functor for Named Sets
This page was built for publication:
