Decompositional reasoning about the history of parallel processes

L. Aceto; A. Birgisson; A. Ingólfsdóttir; M.R. Mousavi

Decompositional reasoning about the history of parallel processes

L. Aceto
, A. Birgisson
, A. Ingólfsdóttir
, M.R. Mousavi

Research output: Book/Report › Report › Academic

249 Downloads (Pure)

Abstract

This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively de??ned 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 pre??xing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.

Original language	English
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Number of pages	19
Publication status	Published - 2010

Publication series

Name	Computer science reports
Volume	1017
ISSN (Print)	0926-4515

Access to Document

695283Final published version, 409 KB

Cite this

@book{456373bda68242acafc5e823b2a52394,

title = "Decompositional reasoning about the history of parallel processes",

abstract = "This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively de??ned 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 pre??xing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.",

author = "L. Aceto and A. Birgisson and A. Ing{\'o}lfsd{\'o}ttir and M.R. Mousavi",

year = "2010",

language = "English",

series = "Computer science reports",

publisher = "Technische Universiteit Eindhoven",

}

TY - BOOK

T1 - Decompositional reasoning about the history of parallel processes

AU - Aceto, L.

AU - Birgisson, A.

AU - Ingólfsdóttir, A.

AU - Mousavi, M.R.

PY - 2010

Y1 - 2010

N2 - This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively de??ned 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 pre??xing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.

AB - This paper presents a decomposition technique for Hennessy-Milner logic with past and its extension with recursively de??ned 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 pre??xing and the inaction constant. The study focuses on developing decompositional reasoning techniques for parallel contexts in that language.

M3 - Report

T3 - Computer science reports

BT - Decompositional reasoning about the history of parallel processes

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Decompositional reasoning about the history of parallel processes

Abstract

Publication series

Access to Document

Fingerprint

Cite this