427 search results - page 17 / 86 » On the Power of Labels in Transition Systems |
ENTCS
2002
14 years 11 months ago
2002
Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...
101
click to vote
INFOCOM
2010
IEEE
14 years 10 months ago
2010
IEEE
— Retransmissions serve as the basic building block that communication protocols use to achieve reliable data transfer. Until recently, the number of retransmissions were thought...
IANDC
2006
14 years 11 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
93
Voted
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
101
click to vote
ISLPED
1997
ACM
15 years 3 months ago
1997
ACM
The energy consumption of a system depends upon the hardware and software component of a system. Since it is the software which drives the hardware in most systems, decisions take...