Weak bisimulation for probabilistic timed automata (Q606996): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2010.09.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1968437296
@@ Property / OpenAlex ID: W1968437296 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of real time systems
@@ Property / cites work: Automatic synthesis of real time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251920
@@ Property / cites work: Q4251920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241581
@@ Property / cites work: Q3241581 / rank @@
+Normal rank
@@ Property / cites work @@
+A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
+Normal rank
@@ Property / cites work @@
+On probabilistic timed automata.
@@ Property / cites work: On probabilistic timed automata. / rank @@
+Normal rank
@@ Property / cites work @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484499
@@ Property / cites work: Q4484499 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for Demonic Schedulers
@@ Property / cites work: Bisimulation for Demonic Schedulers / rank @@
+Normal rank
@@ Property / cites work @@
+Probable innocence revisited
@@ Property / cites work: Probable innocence revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Making Random Choices Invisible to the Scheduler
@@ Property / cites work: Making Random Choices Invisible to the Scheduler / rank @@
+Normal rank
@@ Property / cites work @@
+The dining cryptographers problem: Unconditional sender and recipient untraceability
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q5726943
@@ Property / cites work: Q5726943 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3266141
@@ Property / cites work: Q3266141 / rank @@
+Normal rank
@@ Property / cites work @@
+CCS expressions, finite state processes, and three problems of equivalence
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+A Decidable Probability Logic for Timed Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Reachability results for timed automata with unbounded data structures
+Normal rank
@@ Property / cites work @@
+Design and verification of long-running transactions in a timed framework
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Time-abstracted bisimulation: Implicit specifications and decidability
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. II: Timing-based systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+From ATP to timed graphs and hybrid systems
@@ Property / cites work: From ATP to timed graphs and hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Three Partition Refinement Algorithms
@@ Property / cites work: Three Partition Refinement Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536612
@@ Property / cites work: Q4536612 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation and Bisimulation for Probabilistic Timed Automata
+Normal rank