Search
Now showing items 1-10 of 115
A Structural Approach to Design Reliable Distributed Applications
(1997) Communication / Conférence
Etude des interactions basée sur l'observation répartie dans un système multi-agents
(1998) Communication / Conférence
CSLTA: an Expressive Logic for Continuous-Time Markov Chains
(2007) Communication / Conférence
A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets
(2006) Communication / Conférence
Syntactical Colored Petri Nets Reductions
(2005) Communication / Conférence
Transactional Reduction of Component Compositions
(2007) Communication / Conférence
A dense time semantics for Web services specifications languages
(2004) Communication / Conférence
Checking Linear Temporal Formulas on Sequential Recursive Petri Nets
(2001) Communication / Conférence
Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets
(1997) Communication / Conférence
Evaluation of high-level Petri nets by means of aggregation and decomposition
(1995) Communication / Conférence