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 / author @@
-José Luiz Fiadeiro
@@ Property / author: José Luiz Fiadeiro / rank @@
-Normal rank
@@ Property / author @@
+José Luiz Fiadeiro
@@ Property / author: José Luiz Fiadeiro / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6676779
@@ Property / zbMATH DE Number: 6676779 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+asynchronous process networks
@@ Property / zbMATH Keywords: asynchronous process networks / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+component algebra
@@ Property / zbMATH Keywords: component algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+heterogeneous time
@@ Property / zbMATH Keywords: heterogeneous time / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+orchestration
@@ Property / zbMATH Keywords: orchestration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:505453