20126 search results - page 183 / 4026 » Timed Transition Systems |
134
Voted
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
142
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— A novel method is proposed for reducing the feedback rate of a transmit beamforming system with feedback of quantized channel state information. Specifically, the channel is m...
111
Voted
ATVA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...
116
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
129
Voted
ENTCS
2002
15 years 3 months ago
2002
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...