Implementing dataflow with threads

DOI10.1007/s00446-008-0065-1zbMath1267.68037OpenAlexW2024330782MaRDI QIDQ2377253

Leslie Lamport

Publication date: 28 June 2013

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-008-0065-1

zbMATH Keywords

marked graphsdataflowmultiprocess synchronization

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Graph algorithms (graph-theoretic aspects) (05C85) Distributed algorithms (68W15)

Related Items (1)

Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API

Cites Work

• On interprocess communication. I: Basic formalism
• Marked directed graphs
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Proving the Correctness of Multiprocess Programs
• Unnamed Item
• Unnamed Item

This page was built for publication: Implementing dataflow with threads