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

@@ Property / DOI @@
-.1051/ita:2005030
@@ Property / DOI: 10.1051/ita:2005030 / rank @@
-Normal rank
@@ Property / author @@
-Walter Vogler
@@ Property / author: Walter Vogler / rank @@
-Normal rank
@@ Property / author @@
+Walter Vogler
@@ Property / author: Walter Vogler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2022031828
@@ Property / OpenAlex ID: W2022031828 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1051/ITA:2005030
@@ Property / DOI: 10.1051/ITA:2005030 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5313721