A study on shuffle, stopwatches and independently evolving clocks (Q1938360): Difference between revisions

@@ Property / author @@
-Catalin Dima
@@ Property / author: Catalin Dima / rank @@
-Normal rank
@@ Property / author @@
+Catalin Dima
@@ Property / author: Catalin Dima / 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.1007/s00446-011-0148-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2014909140
@@ Property / OpenAlex ID: W2014909140 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Timed Automata with Independently Evolving Clocks
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / 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 @@
+Q4551179
@@ Property / cites work: Q4551179 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472231
@@ Property / cites work: Q4472231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Interrupt Timed Automata
@@ Property / cites work: Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938626
@@ Property / cites work: Q4938626 / rank @@
+Normal rank
@@ Property / cites work @@
+Updatable timed automata
@@ Property / cites work: Updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4807830
@@ Property / cites work: Q4807830 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to data languages and timed languages
+Normal rank
@@ Property / cites work @@
+Q4934330
@@ Property / cites work: Q4934330 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708466
@@ Property / cites work: Q2708466 / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Time-Asynchronous Automata
@@ Property / cites work: Distributed Time-Asynchronous Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Schedulability analysis of fixed-priority systems using timed automata
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251916
@@ Property / cites work: Q4251916 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Logic in Multi-Agent Systems
@@ Property / cites work: Computational Logic in Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank