Publication:4721642
From MaRDI portal
zbMath0614.68026MaRDI QIDQ4721642
Boubakar Gamatie, Philippe Darondeau
Publication date: 1987
denotational semantics; linear time semantics of CCS; operational and observational models; structural inferential semantics
68Q60: Specification and verification (program logics, model checking, etc.)
68N25: Theory of operating systems
Related Items