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

Laboratoire de Probabilités et Modèles Aléatoires
CEA/UVSQ/CNRS

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

Résumé

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.

langue originale	Anglais
titre	CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings
Editeur	Springer Verlag
Pages	132-146
Nombre de pages	15
ISBN (imprimé)	3642153747, 9783642153747
Les DOIs	https://doi.org/10.1007/978-3-642-15375-4_10
état	Publié - 1 janv. 2010
Modification externe	Oui

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6269 LNCS
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Accès au document

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

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Balabonski, T., & Haucourt, E. (2010). A geometric approach to the problem of unique decomposition of processes. Dans CONCUR 2010 - Concurrency Theory - 21st International Conference, CONCUR 2010, Proceedings (p. 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. p. 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. Dans 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, p. 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).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

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

Résumé

Série de publications

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation