Specifying interaction categories

DOI10.1007/BFB0026986MaRDI QIDQ4362965zbMATH OpenFDO

Authors Dragana Č. Pavlović, Samson Abramsky

Publication date 17 March 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0026986

zbMATH Keywords

interaction categorytyped process calculi

Mathematics Subject Classification ID

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

Review text

The paper analyses two complementary methods for obtaining models of typed process calculi in the form of interaction categories. For the entire collection see [Zbl 0871.00036].

Cited in

(12)

• 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
• The Grothendieck construction for delta lenses

This page was built for publication: Specifying interaction categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4362965)