286 search results - page 41 / 58 » A calculus of atomic actions |
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper describes an implementation language and synthesis system for automatically generating latency insensitive synchronous digital designs. These designs decouple behaviora...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we develop a syntactical version of elaborated reductions for high-level Petri nets. These reductions simplify the model by merging some sequential transit...
ASM
2000
ASM
14 years 29 days 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...
BCSHCI
2007
13 years 10 months ago
2007
The support of human creativity by information and communication technology is an important and interesting area for research. To advance our research in this complex area our app...
ENTCS
2006
13 years 8 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...