A geometric approach to the problem of unique decomposition of processes

Thibaut Balabonski; Emmanuel Haucourt

doi:10.1007/978-3-642-15375-4_10

A geometric approach to the problem of unique decomposition of processes

Thibaut Balabonski
, Emmanuel Haucourt

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

Abstract

This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived from the factorization theorem. This algorithm is implemented in the static analyzer ALCOOL.

Original language	English
Title of host publication	CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings
Publisher	Springer Verlag
Pages	132-146
Number of pages	15
ISBN (Print)	3642153747, 9783642153747
DOIs	https://doi.org/10.1007/978-3-642-15375-4_10
Publication status	Published - 1 Jan 2010
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6269 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Keywords

Concurrency
Decomposition of processes
Geometric semantics
Milner problem

Access to Document

10.1007/978-3-642-15375-4_10

Cite this

Balabonski, T., & Haucourt, E. (2010). A geometric approach to the problem of unique decomposition of processes. In CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings (pp. 132-146). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6269 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-15375-4_10

Balabonski, Thibaut ; Haucourt, Emmanuel. / A geometric approach to the problem of unique decomposition of processes. CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. Springer Verlag, 2010. pp. 132-146 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{cb1386712a71402392d7f858d22ee9db,

title = "A geometric approach to the problem of unique decomposition of processes",

abstract = "This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived from the factorization theorem. This algorithm is implemented in the static analyzer ALCOOL.",

keywords = "Concurrency, Decomposition of processes, Geometric semantics, Milner problem",

author = "Thibaut Balabonski and Emmanuel Haucourt",

year = "2010",

month = jan,

day = "1",

doi = "10.1007/978-3-642-15375-4\_10",

language = "English",

isbn = "3642153747",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "132--146",

booktitle = "CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings",

}

Balabonski, T & Haucourt, E 2010, A geometric approach to the problem of unique decomposition of processes. in CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6269 LNCS, Springer Verlag, pp. 132-146. https://doi.org/10.1007/978-3-642-15375-4_10

A geometric approach to the problem of unique decomposition of processes. / Balabonski, Thibaut; Haucourt, Emmanuel.
CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. Springer Verlag, 2010. p. 132-146 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6269 LNCS).

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

TY - GEN

T1 - A geometric approach to the problem of unique decomposition of processes

AU - Balabonski, Thibaut

AU - Haucourt, Emmanuel

PY - 2010/1/1

Y1 - 2010/1/1

N2 - This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived from the factorization theorem. This algorithm is implemented in the static analyzer ALCOOL.

AB - This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived from the factorization theorem. This algorithm is implemented in the static analyzer ALCOOL.

KW - Concurrency

KW - Decomposition of processes

KW - Geometric semantics

KW - Milner problem

UR - https://www.scopus.com/pages/publications/78249281013

U2 - 10.1007/978-3-642-15375-4_10

DO - 10.1007/978-3-642-15375-4_10

M3 - Conference contribution

AN - SCOPUS:78249281013

SN - 3642153747

SN - 9783642153747

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

SP - 132

EP - 146

BT - CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings

PB - Springer Verlag

ER -

Balabonski T, Haucourt E. A geometric approach to the problem of unique decomposition of processes. In CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings. Springer Verlag. 2010. p. 132-146. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-15375-4_10

A geometric approach to the problem of unique decomposition of processes

Abstract

Publication series

Keywords

Access to Document

Other files and links

Fingerprint

Cite this