Dynamic networks of heterogeneous timed machines

DOI10.1017/S0960129517000135zbMath1390.68448OpenAlexW2620523253MaRDI QIDQ4640311

Benoît Delahaye, Axel Legay, Antónia Lopes, José Luiz Fiadeiro

Publication date: 17 May 2018

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129517000135

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

A semantic model for interacting cyber-physical systems

Uses Software

• Ptolemy
• METROPOLIS

Cites Work

• Unnamed Item
• Unnamed Item
• An interface theory for service-oriented design
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• Heterogeneous and asynchronous networks of timed systems
• Multi-task implementation of multi-periodic synchronous programs
• The existence of refinement mappings
• A timeband framework for modelling real-time systems
• Temporal proof methodologies for timed transition systems
• Timed-pNets: a communication behavioural semantic model for distributed systems
• Dynamic input/output automata: a formal and compositional model for dynamic systems
• Specification and Development of Interactive Systems
• Heterogeneous Timed Machines
• Timed I/O automata
• The Theory of Timed I/O Automata, Second Edition
• Dynamic Reactive Modules
• Modelling of Complex Systems: Systems as Dataflow Machines