scientific article
From MaRDI portal
Publication:3221398
zbMath0557.68029MaRDI QIDQ3221398
Colin Stirling, Matthew C. B. Hennessy
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
bisimulationtense logictemporal logicbehavioural equivalencetransition systemsinfinite computationHennessy-Milner Logicrelativised past tense operator
Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)
Related Items
Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay, Weak and strong fairness in CCS, An algebraic characterization of transition system equivalences, A proof-theoretic characterization of observational equivalence, A logical characterization of observation equivalence
