Proving Approximate Implementations for Probabilistic I/O Automata (Q2864525): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.11.040
@@ Property / DOI: 10.1016/j.entcs.2006.11.040 / rank @@
-Normal rank
@@ Property / author @@
+Nancy A. Lynch
@@ Property / author: Nancy A. Lynch / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATISSE
@@ Property / describes a project that uses: MATISSE / rank @@
+Normal rank
@@ 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.entcs.2006.11.040
+Normal rank
@@ Property / OpenAlex ID @@
+W1984319257
@@ Property / OpenAlex ID: W1984319257 / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Task-structured probabilistic I/O automata
@@ Property / cites work: Task-structured probabilistic I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127104
@@ Property / cites work: Q4127104 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate simulation relations for hybrid systems
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+The Theory of Timed I/O Automata
@@ Property / cites work: The Theory of Timed I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q2847403
@@ Property / cites work: Q2847403 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-Based Semantics for Probabilistic Timed I/O Automata
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9--11, 2005. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3999495
@@ Property / cites work: Q3999495 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736608
@@ Property / cites work: Q4736608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736610
@@ Property / cites work: Q4736610 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid systems: computation and control. 5th international workshop, HSCC 2002, Stanford, CA, USA, March 25--27, 2002. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4417860
@@ Property / cites work: Q4417860 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory, testing and simulation for labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.11.040
@@ Property / DOI: 10.1016/J.ENTCS.2006.11.040 / rank @@
+Normal rank