Heterogeneous and asynchronous networks of timed systems
type: Item
instance of: scholarly article
title: Heterogeneous and asynchronous networks of timed systems
zbMATH Open document ID: 1356.68153
author: Antónia Lopes
author: José Fiadeiro
published in: Theoretical Computer Science
publication date: 2017-01-23T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6676779
zbMATH Keywords: asynchronous process networks
zbMATH Keywords: component algebra
zbMATH Keywords: heterogeneous time
zbMATH Keywords: orchestration
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
full work available at URL: j.tcs.2016.12.014
OpenAlex ID: W2569163292
cites work: The existence of refinement mappings
cites work: Recognizing safety and liveness
cites work: The benefits of relaxing punctuality
cites work: On Communicating Finite-State Machines
cites work: A timeband framework for modelling real-time systems
cites work: Timed-pNets: a communication behavioural semantic model for distributed systems
cites work: Timed I/O automata
cites work: Heterogeneous Timed Machines
cites work: An interface theory for service-oriented design
cites work: Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
cites work: On the Expressiveness of MTL Variants over Dense Time
cites work: Sooner is safer than later
cites work: Expressive Completeness for Metric Temporal Logic
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Some Recent Results in Metric Temporal Logic
DOI: 10.1016/J.TCS.2016.12.014
Recommended article: Dynamic networks of heterogeneous timed machines
Recommended article: Formal Methods for the Design of Real-Time Systems
Recommended article: Q3790622
Recommended article: Dynamic Networks of Timed Petri Nets
Recommended article: Closed, open, and robust timed networks
Recommended article: Combined task- and network-level scheduling for distributed time-triggered systems
Recommended article: Asynchronous networks and event driven dynamics
description: scientific article; zbMATH DE number 6676779