Decompositional Reasoning about the History of Parallel Processes

DOI10.1007/978-3-642-29320-7_3zbMath1353.68191DBLPconf/fsen/AcetoBIM11OpenAlexW2111928542WikidataQ57745542 ScholiaQ57745542MaRDI QIDQ2894548

No author found.

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)

Uses Software

• CMC

This page was built for publication: Decompositional Reasoning about the History of Parallel Processes