scientific article
From MaRDI portal
Publication:3711740
zbMath0586.68022MaRDI QIDQ3711740
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items
A domain equation for bisimulation, Concurrent transition systems, Combining effects: sum and tensor, Modal logics for communicating systems, Observation equivalence as a testing equivalence
