On the Compositionality of Round Abstraction

Dan Ghica; Mohamed Menaa

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

On the Compositionality of Round Abstraction

Dan Ghica, Mohamed Menaa

Computer Science

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

8 Citations (Scopus)

Original language	English
Title of host publication	CONCUR 2010 - Concurrency Theory
Subtitle of host publication	21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings
Editors	Paul Gastin, Francois Laroussinie
Publisher	Springer
Pages	417-431
Number of pages	15
ISBN (Electronic)	978-3-642-15375-4
ISBN (Print)	978-3-642-15374-7
DOIs	https://doi.org/10.1007/978-3-642-15375-4_29
Publication status	Published - 1 Jan 2010
Event	21st Conference on Concurrency Theory, Aug 31-Sep 03, 2010. Paris, France - Duration: 1 Jan 2010 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6269
ISSN (Print)	0302-9743

Conference

Conference	21st Conference on Concurrency Theory, Aug 31-Sep 03, 2010. Paris, France
Period	1/01/10 → …

Access to Document

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

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification
Ghica, D.
Engineering & Physical Science Research Council
1/07/06 → 30/06/11
Project: Research Councils

Cite this

@inproceedings{75c14bb34206409f80281db7a791ebd3,

title = "On the Compositionality of Round Abstraction",

author = "Dan Ghica and Mohamed Menaa",

year = "2010",

month = jan,

day = "1",

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

language = "English",

isbn = "978-3-642-15374-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "417--431",

editor = "Paul Gastin and Francois Laroussinie",

booktitle = "CONCUR 2010 - Concurrency Theory",

note = "21st Conference on Concurrency Theory, Aug 31-Sep 03, 2010. Paris, France ; Conference date: 01-01-2010",

}

Ghica, D & Menaa, M 2010, On the Compositionality of Round Abstraction. in P Gastin & F Laroussinie (eds), CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6269, Springer, pp. 417-431, 21st Conference on Concurrency Theory, Aug 31-Sep 03, 2010. Paris, France, 1/01/10. https://doi.org/10.1007/978-3-642-15375-4_29

On the Compositionality of Round Abstraction. / Ghica, Dan; Menaa, Mohamed.
CONCUR 2010 - Concurrency Theory: 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. ed. / Paul Gastin; Francois Laroussinie. Springer, 2010. p. 417-431 (Lecture Notes in Computer Science; Vol. 6269).

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

TY - GEN

T1 - On the Compositionality of Round Abstraction

AU - Ghica, Dan

AU - Menaa, Mohamed

PY - 2010/1/1

Y1 - 2010/1/1

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

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

M3 - Conference contribution

SN - 978-3-642-15374-7

T3 - Lecture Notes in Computer Science

SP - 417

EP - 431

BT - CONCUR 2010 - Concurrency Theory

A2 - Gastin, Paul

A2 - Laroussinie, Francois

PB - Springer

T2 - 21st Conference on Concurrency Theory, Aug 31-Sep 03, 2010. Paris, France

Y2 - 1 January 2010

ER -

On the Compositionality of Round Abstraction

Publication series

Conference

Access to Document

Projects

Advanced Fellowship :A Unified Approach to Compositional Software Modelling Analysis and Verification

Cite this