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/},
}