scientific article; zbMATH DE number 4059362

MaRDI QIDQ3794154zbMATH OpenFDO

Authors Matthew Hennessy, Gordon D. Plotkin

Publication date 1987

zbMATH Keywords

choice of combinatorsconjunctive nondeterminismindistinguishability by testsliveness logicprocess description languagessafety logicsemantics of processes

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 1354147
• scientific article; zbMATH DE number 4119599
• scientific article; zbMATH DE number 4055020
• Publication:3026331
• Process logic with regular formulas

Cited in

(8)

• A representable approach to finite nondeterminism
• Finite-state independence
• Fairness and regularity for SCCS processes
• Rule formats for determinism and idempotence
• Graphical versus logical specifications
• A logical view of composition
• Conjunction on processes: Full abstraction via ready-tree semantics
• Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\)

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 Q3794154)