Decompositional reasoning about the history of parallel processes

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

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

Decompositional reasoning about the history of parallel processes

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)
Editors	F. Arbab, M. Sirjani
Place of Publication	Berlin
Publisher	Springer
Pages	32-47
ISBN (Print)	978-3-642-29319-1
DOIs	https://doi.org/10.1007/978-3-642-29320-7_3
Publication status	Published - 2012

Publication series

Name	Lecture Notes in Computer Science
Volume	7141
ISSN (Print)	0302-9743

Access to Document

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

Cite this

Aceto, L., Birgisson, A., Ingólfsdóttir, A., & Mousavi, M. R. (2012). Decompositional reasoning about the history of parallel processes. In F. Arbab, & M. Sirjani (Eds.), Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers) (pp. 32-47). (Lecture Notes in Computer Science; Vol. 7141). Springer. https://doi.org/10.1007/978-3-642-29320-7_3

@inproceedings{b1708e0c2d1a472d9893ef75ca00d33f,

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 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.",

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

year = "2012",

doi = "10.1007/978-3-642-29320-7_3",

language = "English",

isbn = "978-3-642-29319-1",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "32--47",

editor = "F. Arbab and M. Sirjani",

booktitle = "Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)",

address = "Germany",

}

Aceto, L, Birgisson, A, Ingólfsdóttir, A & Mousavi, MR 2012, Decompositional reasoning about the history of parallel processes. in F Arbab & M Sirjani (eds), Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Lecture Notes in Computer Science, vol. 7141, Springer, Berlin, pp. 32-47. https://doi.org/10.1007/978-3-642-29320-7_3

Decompositional reasoning about the history of parallel processes. / Aceto, L.; Birgisson, A.; Ingólfsdóttir, A. et al.
Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). ed. / F. Arbab; M. Sirjani. Berlin: Springer, 2012. p. 32-47 (Lecture Notes in Computer Science; Vol. 7141).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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 - 2012

Y1 - 2012

N2 - 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.

AB - 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.

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

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

M3 - Conference contribution

SN - 978-3-642-29319-1

T3 - Lecture Notes in Computer Science

SP - 32

EP - 47

BT - Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers)

A2 - Arbab, F.

A2 - Sirjani, M.

PB - Springer

CY - Berlin

ER -

Aceto L, Birgisson A, Ingólfsdóttir A, Mousavi MR. Decompositional reasoning about the history of parallel processes. In Arbab F, Sirjani M, editors, Fundamentals of Software Engineering (4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011. Revised Selected Papers). Berlin: Springer. 2012. p. 32-47. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-29320-7_3

Decompositional reasoning about the history of parallel processes

Abstract

Publication series

Access to Document

Fingerprint

Cite this