143 search results - page 5 / 29 » Inherent Causal Orderings of Partial Order Scenarios |
ACSD
2006
IEEE
15 years 3 months ago
2006
IEEE
In this paper, we show how to obtain causal semantics distinguishing ”earlier than” and ”not later than” causality between events from algebraic semantics of Petri nets. J...
PTS
2003
14 years 11 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
PADS
1999
ACM
15 years 1 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
93
Voted
JMLR
2012
12 years 12 months ago
2012
Often when modeling structured domains, it is desirable to leverage information that is not naturally expressed as simply a label. Examples include knowledge about the evaluation ...
FASE
2008
Springer
14 years 11 months ago
2008
Springer
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...