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

@@ Property / DOI @@
-.1016/j.tcs.2016.12.014
@@ Property / DOI: 10.1016/j.tcs.2016.12.014 / 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.1016/j.tcs.2016.12.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2569163292
@@ Property / OpenAlex ID: W2569163292 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2016.12.014
@@ Property / DOI: 10.1016/J.TCS.2016.12.014 / rank @@
+Normal rank