391 search results - page 30 / 79 » Compositionality for Probabilistic Automata |
CC
2000
Springer
14 years 1 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...
ENTCS
2011
13 years 3 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...
COORDINATION
2006
Springer
14 years 11 days 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...
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
IJIIP
2010
13 years 6 months ago
2010