Connectedness and synchronization

DOI10.1016/0304-3975(91)90305-LzbMath0744.68049OpenAlexW2051064088MaRDI QIDQ1179707

B. A. Trakhtenbrot, Alexander Rabinovich, Antoni Mazurkiewicz

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90305-l

zbMATH Keywords

communicationsynchronizationconcurrent processesmultisetpomsetconnected relationsmultitrees

Mathematics Subject Classification ID

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

Related Items (1)

On nets, algebras and modularity

Uses Software

• Lucid

Cites Work

• Equational reasoning about nondeterministic processes
• Calculi for synchrony and asynchrony
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• A generalized Kahn Principle for abstract asynchronous networks
• Efficient demand-driven evaluation. Part 2
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Connectedness and synchronization