1454 search results - page 135 / 291 » Stateful traits and their formalization |
95
Voted
ENTCS
2000
15 years 18 days ago
2000
In this paper we consider two descriptions in Maude of the leader election protocol from the IEEE 1394 serial multimedia bus. Particularly, the time aspects of the protocol are st...
75
Voted
ENTCS
2002
15 years 17 days ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
119
click to vote
IJIS
2002
15 years 14 days ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
114
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward t...
101
Voted
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...