scientific article; zbMATH DE number 1086716

MaRDI QIDQ4362965zbMATH OpenFDO

Authors

Publication date 17 March 1998

zbMATH Keywords

interaction categorytyped process calculi

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Cited in

(11)

• A specification structure for deadlock-freedom of synchronous processes
• Nets with mana: a framework for chemical reaction modelling
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• scientific article; zbMATH DE number 860038 (Why is no real title available?)
• Mahavier limits: theory and applications
• A categorical semantics for bounded Petri nets
• Compact inverse categories
• Retracing some paths in categorical semantics: from process-propositions-as-types to categorified reals and computers
• A categorical semantics for hierarchical Petri nets
• Bicategories of processes
• The categorical contours of the Chomsky-Schützenberger representation theorem

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