Bisimulation on speed: Lower time bounds (Q5313721): Difference between revisions

@@ Property / cites work @@
+Characteristic Formulae for Timed Automata
@@ Property / cites work: Characteristic Formulae for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timing and causality in process algebra
@@ Property / cites work: Timing and causality in process algebra / 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 @@
+An efficiency preorder for processes
@@ Property / cites work: An efficiency preorder for processes / rank @@
+Normal rank
@@ Property / cites work @@
+On guarded recursion
@@ Property / cites work: On guarded recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760247
@@ Property / cites work: Q2760247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Performance preorder and competitive equivalence
@@ Property / cites work: Performance preorder and competitive equivalence / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing the worst-case efficiency of asynchronous systems with PAFAS
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of processes with durational actions
@@ Property / cites work: A theory of processes with durational actions / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast asynchronous systems in dense time
@@ Property / cites work: Fast asynchronous systems in dense time / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+An operational semantics for timed CSP
@@ Property / cites work: An operational semantics for timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Faster asynchronous systems.
@@ Property / cites work: Faster asynchronous systems. / rank @@
+Normal rank