Connectedness and synchronization

DOI10.1016/0304-3975(91)90305-LMaRDI QIDQ1179707zbMATH OpenOpenAlexFDO

Authors B. A. Trakhtenbrot, Antoni Mazurkiewicz, Alexander Rabinovich

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)

Cites work

• scientific article; zbMATH DE number 4180816 (Why is no real title available?)
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 3921989 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4074505 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 17833 (Why is no real title available?)
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• scientific article; zbMATH DE number 3469994 (Why is no real title available?)
• A generalized Kahn Principle for abstract asynchronous networks
• Calculi for synchrony and asynchrony
• Efficient demand-driven evaluation. Part 2
• Equational reasoning about nondeterministic processes
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I

Cited in

(5)

• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Connectivity and synchronization of Vicsek model
• scientific article; zbMATH DE number 177822 (Why is no real title available?)
• On nets, algebras and modularity
• scientific article; zbMATH DE number 4028916 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lucid

This page was built for publication: Connectedness and synchronization

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