Inproceedings,

Compositional Modeling of Reactive Systems Using Open Nets.

, , , and .
CONCUR, volume 2154 of Lecture Notes in Computer Science, page 502-518. Springer, (2001)

Meta data

Tags

Users

  • @dblp

Comments and Reviews