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