scientific article; zbMATH DE number 3888909

MaRDI QIDQ3221398zbMATH OpenFDO

Authors Matthew Hennessy, Colin Stirling

Publication date 1984

zbMATH Keywords

behavioural equivalencebisimulationHennessy-Milner Logicinfinite computationrelativised past tense operatortemporal logictense logictransition systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• The temporal logic of branching time
• scientific article; zbMATH DE number 4119617
• “Sometimes” and “not never” revisited
• scientific article; zbMATH DE number 4153903
• scientific article; zbMATH DE number 4055577

Cited in

(7)

• A proof-theoretic characterization of observational equivalence
• Towards categorical models for fairness: Fully abstract presheaf semantics of SCCS with finite delay
• Linear future semantics and its implementation
• Weak and strong fairness in CCS
• An algebraic characterization of transition system equivalences
• scientific article; zbMATH DE number 6297875 (Why is no real title available?)
• A logical characterization of observation equivalence

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3221398)