799 search results - page 43 / 160 » A Logic for Abstract State Machines |
107
click to vote
DAC
1994
ACM
15 years 1 months ago
1994
ACM
In this paper, we consider the problem of calculating the signal and transition probabilities of the internal nodes of the combinational logic part of a nite state machine (FSM). ...
ASM
2003
ASM
15 years 3 months ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
102
click to vote
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
JAPLL
2007
14 years 9 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...