scientific article

zbMath0586.68024MaRDI QIDQ3711741

Glynn Winskel

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SCCSdynamic logicproof systemHennessy-Milner logicCCSobservation equivalenceassertionsparallel programming languagesoperational and denotational semanticscompleteness resultSynchronous Calculus of Communicating Systems

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items

A context dependent equivalence between processes, A domain equation for bisimulation, A compositional proof system on a category of labelled transition systems, Quantitative analysis of interval Markov chains, A refinement calculus for specifications in Hennessy-Milner logic with recursion, Proof systems for satisfiability in Hennessy-Milner logic with recursion, Domain theory in logical form, Complete proof systems for weighted modal logic, A fully abstract denotational semantics for the calculus of higher-order communicating systems, Modal logics for communicating systems, Full abstractness for a functional/concurrent language with higher-order value-passing, A complete modal proof system for HAL: the Herbrand agent language