Decompositional reasoning about the history of parallel processes
Paper i proceeding, 2012

This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively defined formulae. In order to highlight the main ideas and technical tools, processes are described using a subset of CCS with parallel composition, nondeterministic choice, action prefixing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.

Författare

Luca Aceto

Reykjavik University

Arnar Birgisson

Chalmers, Data- och informationsteknik, Programvaruteknik

Anna Ingolfsdottir

Reykjavik University

MohammadReza Mousavi

Technische Universiteit Eindhoven

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 7141 LNCS 32-47
978-364229319-1 (ISBN)

Ämneskategorier

Programvaruteknik

DOI

10.1007/978-3-642-29320-7_3

ISBN

978-364229319-1

Mer information

Senast uppdaterat

2024-11-14