acm sigbed
|
emsoft
|
participants
Simon Bliudze
EMSOFT 2007: 7th ACM & IEEE International Conference on Embedded Software
The Algebra of Connectors: Structuring Interaction in BIP
Simon Bliudze
and
Joseph Sifakis
10.1145/1289927.1289935
http://www.cecs.uci.edu/~papers/esweek07/emsoft/p11.pdf