Heterogeneous and asynchronous networks of timed systems

DOI10.1016/j.tcs.2016.12.014zbMath1356.68153OpenAlexW2569163292MaRDI QIDQ505453

Antónia Lopes, José Luiz Fiadeiro

Publication date: 23 January 2017

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2016.12.014

zbMATH Keywords

temporal logicorchestrationasynchronous process networkscomponent algebraheterogeneous time

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

Related Items (2)

Logics for actor networks: a two-stage constrained-hybridisation approach ⋮ Dynamic networks of heterogeneous timed machines

Cites Work

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

This page was built for publication: Heterogeneous and asynchronous networks of timed systems