An algebraic framework for urgency (Q1854390): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra of communicating shared resources with dense time and priorities
+Normal rank
@@ Property / cites work @@
+Priorities in process algebras
@@ Property / cites work: Priorities in process algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra with distributed priorities
@@ Property / cites work: A process algebra with distributed priorities / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra with distributed priorities
@@ Property / cites work: A process algebra with distributed priorities / rank @@
+Normal rank
@@ Property / cites work @@
+Q4889347
@@ Property / cites work: Q4889347 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank