scientific article; zbMATH DE number 839543
From MaRDI portal
Publication:4864236
zbMath0851.68031MaRDI QIDQ4864236
Publication date: 30 January 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (8)
Generating non-conspiratorial executions ⋮ Action systems in incremental and aspect-oriented modeling ⋮ On equivalence-completions of fairness assumptions ⋮ Fairness in systems based on multiparty interactions ⋮ A general framework for architecture composability ⋮ Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability ⋮ On fairness notions in distributed systems. I: A characterization of implementability ⋮ On fairness notions in distributed systems. II: Equivalence-completions and their hierarchies
Uses Software
This page was built for publication:
