Enriched categorical semantics for distributed calculi

DOI10.1016/0022-4049(92)90048-KzbMath0777.18007OpenAlexW2086295015MaRDI QIDQ1208210

Stefano Kasangian, Anna Labella

Publication date: 16 May 1993

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-4049(92)90048-k

zbMATH Keywords

synchronizationconcurrencyparallel computationsCCSmonoidal closed categorylabelled trees

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Topoi (18B25) Enriched categories (over closed or monoidal categories) (18D20)

Related Items

A completeness theorem for nondeterministic Kleene algebras, On continuous time agents, Connected limits, familial representability and Artin glueing, Models of nondeterministic regular expressions, A Finite Axiomatization of Nondeterministic Regular Expressions, Conduché property and tree-based categories, Process synchronisation as fusion, Categories with sums and right distributive tensor product

Cites Work

• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• Algebra of communicating processes with abstraction
• Extensional equivalences for transition systems
• A calculus of communicating systems
• Testing equivalences for processes
• A Theory of Communicating Sequential Processes
• Metric spaces, generalized logic, and closed categories
• Communicating sequential processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item