scientific article; zbMATH DE number 2059571

MaRDI QIDQ4457841zbMATH OpenFDO

Authors Vladimiro Sassone, Paweł Sobociński

Publication date 17 March 2004

zbMATH Keywords

transition systemsrelative pushout

Mathematics Subject Classification ID

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

Recommendations

• Deriving bisimulation congruences: a 2-categorical approach
• scientific article; zbMATH DE number 1956527
• Locating reaction with 2-categories
• scientific article; zbMATH DE number 1759615
• Foundations of Software Science and Computation Structures

Cited in

(19)

• Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
• Relational presheaves, change of base and weak simulation
• Adhesive DPO parallelism for monic matches
• Making the unobservable, unobservable
• Deriving bisimulation congruences: a 2-categorical approach
• Adhesive and quasiadhesive categories
• Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
• A categorical framework for congruence of applicative bisimilarity in higher-order languages
• Convenient category of processes and simulations I: Modulo strong bisimilarity
• A semantic framework for open processes
• scientific article; zbMATH DE number 1956527 (Why is no real title available?)
• CONCUR 2005 – Concurrency Theory
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Locating reaction with 2-categories
• Deriving structural labelled transitions for mobile ambients
• Observational congruences for dynamically reconfigurable tile systems
• On symbolic semantics for name-decorated contexts
• Synthesising CCS bisimulation using graph rewriting
• Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457841)