Process synchronisation as fusion

DOI10.1007/BF00122687zbMath0859.68025MaRDI QIDQ2563765

Stefano Kasangian, Anna Labella, David J. Murphy

Publication date: 16 December 1996

Published in: Applied Categorical Structures (Search for Journal in Brave)

zbMATH Keywords

concurrent processesprocess algebrasinterprocess synchronisation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Related Items (1)

Generalising Conduché's theorem

Uses Software

• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• Variation through enrichment
• Enriched categorical semantics for distributed calculi
• Parallel product of event structures
• ENRICHED CATEGORIES AND COHOMOLOGY
• Nets, Terms and Formulas
• Metric spaces, generalized logic, and closed categories
• Connected limits, familial representability and Artin glueing

This page was built for publication: Process synchronisation as fusion