Application of Partial-Order Methods to Reactive Programs with Event Memorization. Herbreteau, F., Cassez, F., & Roux, O. Real-Time Systems (RTS), 20(3):287-316, 2001.
Application of Partial-Order Methods to Reactive Programs with Event Memorization [link]Paper  bibtex   
@article{ dblp3870820,
  title = {Application of Partial-Order Methods to Reactive Programs with Event Memorization},
  author = {Frédéric Herbreteau and Franck Cassez and Olivier Roux},
  author_short = {Herbreteau, F. and Cassez, F. and Roux, O.},
  bibtype = {article},
  type = {article},
  year = {2001},
  key = {dblp3870820},
  id = {dblp3870820},
  biburl = {http://www.dblp.org/rec/bibtex/journals/rts/HerbreteauCR01},
  url = {http://dx.doi.org/10.1023/A:1008129319165},
  journal = {Real-Time Systems (RTS)},
  pages = {287-316},
  number = {3},
  volume = {20},
  text = {Real-Time Systems (RTS) 20(3):287-316 (2001)}
}
Downloads: 0