scientific article; zbMATH DE number 2059571

zbMath1062.68082MaRDI QIDQ4457841

Paweł Sobociński, Vladimiro Sassone

Publication date: 17 March 2004

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

transition systemsrelative pushout

Mathematics Subject Classification ID

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

Related Items (12)

Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs ⋮ Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi ⋮ Adhesive and quasiadhesive categories ⋮ Deriving structural labelled transitions for mobile ambients ⋮ A semantic framework for open processes ⋮ On Symbolic Semantics for Name-decorated Contexts ⋮ Making the Unobservable, Unobservable ⋮ Locating reaction with 2-categories ⋮ Observational congruences for dynamically reconfigurable tile systems ⋮ Synthesising CCS bisimulation using graph rewriting ⋮ Relational presheaves, change of base and weak simulation ⋮ Adhesive DPO Parallelism for Monic Matches

This page was built for publication: