361 search results - page 8 / 73 » Message Sequence Charts |
FOSSACS
2008
Springer
13 years 8 months ago
2008
Springer
MST
2008
13 years 7 months ago
2008
FSTTCS
2007
Springer
14 years 1 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
ACSD
1998
IEEE
13 years 11 months ago
1998
IEEE
Today's corporations often must operate across organizational boundaries. Phenomena such as electronic commerce, extended enterprises, and the Internet stimulate cooperation ...
CSR
2010
Springer
14 years 8 days ago
2010
Springer
Abstract. We introduce dynamic communicating automata (DCA), an extension of communicating finite-state machines that allows for dynamic creation of processes. Their behavior can ...