112
click to vote
SIGSOFT
2010
ACM
15 years 21 days ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...