391 search results - page 30 / 79 » Compositionality for Probabilistic Automata |
114
Voted
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...
128
Voted
ENTCS
2011
14 years 9 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...
130
click to vote
COORDINATION
2006
Springer
15 years 6 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...
125
Voted
QEST
2010
IEEE
15 years 15 days ago
2010
IEEE
IJIIP
2010
14 years 12 months ago
2010