scientific article; zbMATH DE number 4003508
From MaRDI portal
Recommendations
Cited in
(18)- The categorical framework of object-oriented concurrent systems
- Enriched categorical semantics for distributed calculi
- A relation algebraic approach to interaction categories
- Process synchronisation as fusion
- A compositional proof system on a category of labelled transition systems
- A (Co)Algebraic Analysis of Synchronization in CSP
- Advantages and disadvantages of the methods of describing concurrent systems
- scientific article; zbMATH DE number 3936529 (Why is no real title available?)
- scientific article; zbMATH DE number 4028883 (Why is no real title available?)
- scientific article; zbMATH DE number 4037184 (Why is no real title available?)
- scientific article; zbMATH DE number 4039255 (Why is no real title available?)
- scientific article; zbMATH DE number 4062569 (Why is no real title available?)
- scientific article; zbMATH DE number 4092751 (Why is no real title available?)
- scientific article; zbMATH DE number 1497813 (Why is no real title available?)
- scientific article; zbMATH DE number 1497859 (Why is no real title available?)
- scientific article; zbMATH DE number 4119610 (Why is no real title available?)
- scientific article; zbMATH DE number 860039 (Why is no real title available?)
- An algebraic view of interleaving and distributed operational semantics for CCS
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 Q4728237)
