scientific article; zbMATH DE number 1956527

zbMATH Open1029.68111MaRDI QIDQ4417873FDOQ4417873

Authors: Vladimiro Sassone, Paweł Sobociński 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200409.htm

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

Recommendations

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

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• RPO, Second-Order Contexts, and λ-Calculus
• Title not available (Why is that?)
• CONCUR 2005 – Concurrency Theory
• 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
• Observational congruences for dynamically reconfigurable tile systems
• Deriving bisimulation congruences: a 2-categorical approach
• A categorical framework for congruence of applicative bisimilarity in higher-order languages

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 Q4417873)