scientific article; zbMATH DE number 1314563
From MaRDI portal
Publication:4256353
zbMath0942.68076MaRDI QIDQ4256353
Publication date: 11 July 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Basic properties of first-order languages and structures (03C07)
Related Items (4)
Event-based proof of the mutual exclusion property of Peterson's algorithm ⋮ Self-stabilizing timestamps ⋮ Logical classification of distributed algorithms (Bakery algorithms as an example) ⋮ Self-stabilizing \(\ell\)-exclusion
This page was built for publication:
