Process synchronisation as fusion

DOI10.1007/BF00122687zbMATH Open0859.68025MaRDI QIDQ2563765FDOQ2563765

Authors: Stefano Kasangian, Anna Labella, David J. Murphy 

Publication date: 16 December 1996

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

Recommendations

• Publication:4728237
• scientific article; zbMATH DE number 4028883
• A (Co)Algebraic Analysis of Synchronization in CSP
• scientific article; zbMATH DE number 4039255
• Algèbre de processus et synchronisation

zbMATH Keywords

process algebrasconcurrent processesinterprocess synchronisation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Metric spaces, generalized logic, and closed categories
• Variation through enrichment
• ENRICHED CATEGORIES AND COHOMOLOGY
• Title not available (Why is that?)
• Parallel product of event structures
• Nets, Terms and Formulas
• Title not available (Why is that?)
• Petri nets are monoids
• Connected limits, familial representability and Artin glueing
• Title not available (Why is that?)
• Enriched categorical semantics for distributed calculi
• Title not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Nivat's processes and their synchronization
• A non-interleaving process calculus for multi-party synchronisation
• Generalising Conduché's theorem
• Title not available (Why is that?)
• A (Co)Algebraic Analysis of Synchronization in CSP

Uses Software

• LOTOS

This page was built for publication: Process synchronisation as fusion

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