110 search results - page 2 / 22 » A Hierarchy of Communication Models for Message Sequence Cha... |
64
Voted
EVOW
2004
Springer
15 years 2 months ago
2004
Springer
An evolutionary approach to design communication protocols from scenario-based specifications is presented. It enables to automatically generate finite-state models of protocol ent...
ECEASST
2008
14 years 9 months ago
2008
FSTTCS
2007
Springer
15 years 3 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...
FORTE
2003
14 years 11 months ago
2003
ICECCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...