826 search results - page 108 / 166 » Resolving Concurrent Interactions |
134
click to vote
ASM
2000
ASM
15 years 7 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
131
click to vote
ATAL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, we describe a framework to program open societies of concurrently operating agents. The agents maintain a subjective theory about their environment and interact with...
132
click to vote
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
Next generation embedded systems place new demands on an efficient methodology for their design and verification. These systems have to support interaction over a network, multipl...
153
click to vote
BIOWIRE
2007
Springer
15 years 7 months ago
2007
Springer
Chemical computing models have been proposed since the 1980ies for expressing concurrent computations in elegant ways for shared memory systems. In this paper we look at the distri...
127
click to vote
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include ...