The following pages link to Pedro R. D'Argenio (Q1391790):
Displaying 37 items.
- (Q197383) (redirect page) (← links)
- A general conservative extension theorem in process algebras with inequalities (Q1391791) (← links)
- Input/output stochastic automata with urgency: confluence and weak determinism (Q1623126) (← links)
- A hierarchy of scheduler classes for stochastic automata (Q1653000) (← links)
- (Q1941866) (redirect page) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- On the probabilistic bisimulation spectrum with silent moves (Q2182668) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- A theory of stochastic systems. I: Stochastic automata (Q2575854) (← links)
- A theory of stochastic systems. II: Process algebra (Q2575855) (← links)
- Axiomatising divergence (Q2581532) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata (Q2814125) (← links)
- Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation (Q2892789) (← links)
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Is Your Software on Dope? (Q2988635) (← links)
- Secure information flow by self-composition (Q3103613) (← links)
- Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers (Q3184684) (← links)
- Bisimulations for non-deterministic labelled Markov processes (Q3225737) (← links)
- Quantitative Model Checking Revisited: Neither Decidable Nor Approximable (Q3510843) (← links)
- (Q4255553) (← links)
- (Q4508399) (← links)
- (Q4532077) (← links)
- (Q4547773) (← links)
- Input/Output Stochastic Automata (Q4603557) (← links)
- (Q4737191) (← links)
- (Q4798031) (← links)
- (Q4798036) (← links)
- (Q4813198) (← links)
- (Q4986263) (← links)
- (Q5013870) (← links)
- Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions (Q5222942) (← links)
- Validation of Stochastic Systems (Q5325834) (← links)
- Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules (Q5410679) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897479) (← links)
- Testing timed automata (Q5940921) (← links)
- Optimal route synthesis in space DTN using Markov decision processes (Q6605335) (← links)
