Decompositional reasoning about the history of parallel processes

DOI10.1007/978-3-642-29320-7_3MaRDI QIDQ2894548zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammadreza Mousavi

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/decompositional-reasoning-about-the-history-of-parallel-processes(456373bd-a682-42ac-afc5-e823b2a52394).html

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositionality of Hennessy-Milner logic by structural operational semantics
• Compositionality of Hennessy-Milner logic through structural operational semantics.
• Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
• scientific article; zbMATH DE number 3905833
• scientific article; zbMATH DE number 4119599

Cited in

(3)

• Compositionality of Hennessy-Milner logic by structural operational semantics
• Parallel Processing and Applied Mathematics
• Compositionality of Hennessy-Milner logic through structural operational semantics.

Describes a project that uses

Uses Software

• CMC

This page was built for publication: Decompositional reasoning about the history of parallel processes

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