scientific article
From MaRDI portal
Publication:3795196
zbMath0649.68020MaRDI QIDQ3795196
Ralph-Johan Back, Reino Kurki-Suonio
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Fairness and the axioms of control predicates ⋮ Action systems in incremental and aspect-oriented modeling ⋮ Operational specification with joint actions: Serializable databases ⋮ Corrigenda:Cooperating proofs for distributed programs with multiparty interactions ⋮ On fairness notions in distributed systems. I: A characterization of implementability
This page was built for publication:
