Bundle Event Structures and CCSP

R.J. van Glabbeek; F.W. Vaandrager

doi:10.1007/978-3-540-45187-74

Bundle Event Structures and CCSP

R.J. van Glabbeek, F.W. Vaandrager

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

Abstract

We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions.

Original language	English
Title of host publication	CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings
Editors	R. Amadio, D. Lugiez
Publisher	Springer
Pages	57-71
Number of pages	15
ISBN (Electronic)	978-3-540-45187-7
ISBN (Print)	978-3-540-40753-9
DOIs	https://doi.org/10.1007/978-3-540-45187-74
Publication status	Published - 3 Dec 2003
Event	The 14th International Conference on Concurrency Theory, 2003 - Marseille, France Duration: 3 Sept 2003 → 5 Sept 2003 Conference number: 14

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	2761
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	The 14th International Conference on Concurrency Theory, 2003
Abbreviated title	CONCUR 2003
Country/Territory	France
City	Marseille
Period	3/09/03 → 5/09/03

Access to Document

10.1007/978-3-540-45187-74Licence: All Rights Reserved

https://link.springer.com/chapter/10.1007/978-3-540-45187-7_4Licence: All Rights Reserved

Cite this

@inproceedings{f73edc938cd34a749134b5cf0322c330,

title = "Bundle Event Structures and CCSP",

abstract = "We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions. ",

author = "\{van Glabbeek\}, R.J. and F.W. Vaandrager",

year = "2003",

month = dec,

day = "3",

doi = "10.1007/978-3-540-45187-74",

language = "English",

isbn = "978-3-540-40753-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "57--71",

editor = "R. Amadio and D. Lugiez",

booktitle = "CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings",

address = "United Kingdom",

note = "The 14th International Conference on Concurrency Theory, 2003, CONCUR 2003 ; Conference date: 03-09-2003 Through 05-09-2003",

}

van Glabbeek, RJ & Vaandrager, FW 2003, Bundle Event Structures and CCSP. in R Amadio & D Lugiez (eds), CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Lecture Notes in Computer Science, vol. 2761, Springer, pp. 57-71, The 14th International Conference on Concurrency Theory, 2003, Marseille, France, 3/09/03. https://doi.org/10.1007/978-3-540-45187-74

Bundle Event Structures and CCSP. / van Glabbeek, R.J.; Vaandrager, F.W.
CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. ed. / R. Amadio; D. Lugiez. Springer, 2003. p. 57-71 (Lecture Notes in Computer Science; Vol. 2761).

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

TY - GEN

T1 - Bundle Event Structures and CCSP

AU - van Glabbeek, R.J.

AU - Vaandrager, F.W.

N1 - Conference code: 14

PY - 2003/12/3

Y1 - 2003/12/3

N2 - We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions.

AB - We investigate which event structures can be denoted by means of closed CCS ∪ CSP expressions.

U2 - 10.1007/978-3-540-45187-74

DO - 10.1007/978-3-540-45187-74

M3 - Conference contribution

SN - 978-3-540-40753-9

T3 - Lecture Notes in Computer Science

SP - 57

EP - 71

BT - CONCUR 2003 - Concurrency Theory: 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

A2 - Amadio, R.

A2 - Lugiez, D.

PB - Springer

T2 - The 14th International Conference on Concurrency Theory, 2003

Y2 - 3 September 2003 through 5 September 2003

ER -

Bundle Event Structures and CCSP

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this