scientific article; zbMATH DE number 860039

zbMATH Open0841.03036MaRDI QIDQ4870809FDOQ4870809

Authors: Dusko Pavlovic 

Publication date: 7 May 1996

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

Recommendations

• Publication:4728237
• A relation algebraic approach to interaction categories
• scientific article; zbMATH DE number 3905836
• scientific article; zbMATH DE number 4028883
• Constructing process categories

zbMATH Keywords

concurrencycalculus of relationsinteraction category of synchronous processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Categorical logic, topoi (03G30)

Cited In (6)

• Categorical models for concurrency: Independence, fairness and dataflow
• Domain theory for concurrency
• A relation algebraic approach to interaction categories
• A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
• Categorical methods for concurrency, interaction, and mobility. Proceedings of the workshop (CMCIM), Brno, Czech Republic, August 24, 2002.
• Convenient category of processes and simulations I: Modulo strong bisimilarity

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