scientific article
From MaRDI portal
Publication:3997127
zbMath0751.68026MaRDI QIDQ3997127
Michel Raynal, Jean-Michel Helary
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network design and communication in computer systems (68M10) Distributed algorithms (68W15)
Related Items (4)
A principle for sequential reasoning about distributed algorithms ⋮ Petri net based verification of distributed algorithms: An example ⋮ Synchronous development of asynchronous systems ⋮ The causal ordering abstraction and a simple way to implement it
This page was built for publication:
