391 search results - page 30 / 79 » Compositionality for Probabilistic Automata |
152
Voted
CC
2000
Springer
15 years 10 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...
171
click to vote
ENTCS
2011
15 years 1 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...
179
Voted
COORDINATION
2006
Springer
15 years 9 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...
161
Voted
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
IJIIP
2010
15 years 3 months ago
2010