Heterogeneous and asynchronous networks of timed systems (Q505453): Difference between revisions

@@ Property / cites work @@
+The existence of refinement mappings
@@ Property / cites work: The existence of refinement mappings / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizing safety and liveness
@@ Property / cites work: Recognizing safety and liveness / 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 @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+A timeband framework for modelling real-time systems
+Normal rank
@@ Property / cites work @@
+Timed-pNets: a communication behavioural semantic model for distributed systems
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous Timed Machines
@@ Property / cites work: Heterogeneous Timed Machines / rank @@
+Normal rank
@@ Property / cites work @@
+An interface theory for service-oriented design
@@ Property / cites work: An interface theory for service-oriented design / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of MTL Variants over Dense Time
+Normal rank
@@ Property / cites work @@
+Sooner is safer than later
@@ Property / cites work: Sooner is safer than later / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive Completeness for Metric Temporal Logic
@@ Property / cites work: Expressive Completeness for Metric Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Some Recent Results in Metric Temporal Logic
@@ Property / cites work: Some Recent Results in Metric Temporal Logic / rank @@
+Normal rank