scientific article; zbMATH DE number 2059571

zbMATH Open1062.68082MaRDI QIDQ4457841FDOQ4457841

Authors: Vladimiro Sassone, Paweł Sobociński 

Publication date: 17 March 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

transition systemsrelative pushout

Mathematics Subject Classification ID

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

Cited In (18)

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

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)