Process synchronisation as fusion

DOI10.1007/BF00122687MaRDI QIDQ2563765zbMATH OpenFDO

Authors Stefano Kasangian, Anna Labella, David J. Murphy

Publication date 16 December 1996

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

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)

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

Cites work

• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• scientific article; zbMATH DE number 4023271 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4043229 (Why is no real title available?)
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 3779586 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Connected limits, familial representability and Artin glueing
• ENRICHED CATEGORIES AND COHOMOLOGY
• Enriched categorical semantics for distributed calculi
• Metric spaces, generalized logic, and closed categories
• Nets, Terms and Formulas
• Parallel product of event structures
• Petri nets are monoids
• Variation through enrichment

Cited in

(6)

• Nivat's processes and their synchronization
• scientific article; zbMATH DE number 4028883 (Why is no real title available?)
• Generalising Conduché's theorem
• A non-interleaving process calculus for multi-party synchronisation
• scientific article; zbMATH DE number 4003508 (Why is no real title available?)
• A (Co)Algebraic Analysis of Synchronization in CSP

Describes a project that uses

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)