Distributed Event Clock Automata (Q5200069): Difference between revisions

@@ Property / cites work @@
+Distributed Timed Automata with Independently Evolving Clocks
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Event-clock automata: a determinizable class of timed automata
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Q4453202
@@ Property / cites work: Q4453202 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Time-Asynchronous Automata
@@ Property / cites work: Distributed Time-Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Realizability of Real-Time Logics
@@ Property / cites work: Realizability of Real-Time Logics / rank @@
+Normal rank
@@ Property / cites work @@
+An Expressive Temporal Logic for Real Time
@@ Property / cites work: An Expressive Temporal Logic for Real Time / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499212
@@ Property / cites work: Q4499212 / rank @@
+Normal rank
@@ Property / cites work @@
+Memory Event Clocks
@@ Property / cites work: Memory Event Clocks / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Event Clock Automata
@@ Property / cites work: Distributed Event Clock Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for real-time logics
@@ Property / cites work: Axioms for real-time logics / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank