Models of Reactive Systems - Communication, Concurrency and Causality

Schätz, Bernhard; Giese, Holger

by Bernhard Schätz, Holger Giese

Reference:

Models of Reactive Systems - Communication, Concurrency and Causality (Bernhard Schätz, Holger Giese), In Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers (Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, eds.), Springer, volume 6100, 2011.

Bibtex Entry:

@InProceedings{SchaetzGiese2011,
AUTHOR = {Schätz, Bernhard and Giese, Holger},
TITLE = {{Models of Reactive Systems - Communication, Concurrency and Causality}},
YEAR = {2011},
BOOKTITLE = {Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers},
VOLUME = {6100},
PAGES = {3-15},
EDITOR = {Giese, Holger and Karsai, Gabor and Lee, Edward and Rumpe, Bernhard and Schätz, Bernhard},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
URL = {http://www.springerlink.com/content/fj23131k471k4ru2/},
PDF = {uploads/pdf/SchaetzGiese2011_chp%3A10.1007%2F978-3-642-16277-0_1.pdf},
OPTacc_pdf = {}
}