391 search results - page 30 / 79 » Compositionality for Probabilistic Automata |
120
click to vote
CC
2000
Springer
15 years 7 months ago
2000
Springer
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
134
click to vote
ENTCS
2011
14 years 10 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
144
click to vote
COORDINATION
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
129
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
