Publication:2738289
From MaRDI portal
zbMath0999.68121MaRDI QIDQ2738289
Publication date: 30 August 2001
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting, Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing, A distributed resource allocation algorithm for many processes, Correctness and concurrent complexity of the black-white bakery algorithm, Synchronous vs. asynchronous unison, A general technique for proving lock-freedom, Tournaments for mutual exclusion: verification and concurrent complexity, UNITY and Büchi automata, Specification and verification of concurrent programs through refinements, Computing with multiple discrete flows, Web Cube
Uses Software