Sciweavers

384 search results - page 11 / 77
» On the Semantics of Markov Automata
Sort
View
FSTTCS
2007
Springer
16 years 5 days ago
Probabilistic and Topological Semantics for Timed Automata
Christel Baier, Nathalie Bertrand, Patricia Bouyer...
RTAS
2006
IEEE
16 years 13 hour ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
ENTCS
2007
100views more  ENTCS 2007»
15 years 6 months ago
Concurrent Logic and Automata Combined: A Semantics for Components
Juliana Küster Filipe, Sotiris Moschoyiannis