scientific article; zbMATH DE number 860039

MaRDI QIDQ4870809zbMATH OpenFDO

Authors Dusko Pavlovic

Publication date 7 May 1996

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)

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

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)