Action transducers and timed automata
type: Item
instance of: scholarly article
title: Action transducers and timed automata
zbMATH Open document ID: 0860.68072
DOI: 10.1007/BF01211907
published in: Formal Aspects of Computing
publication date: 1996-12-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 951636
zbMATH Keywords: timed automaton model
zbMATH Keywords: timing-based systems
zbMATH Keywords: timed action transducer
author: Nancy Lynch
author: F. Vaandrager
MaRDI profile type: Publication
cites work: A theory of timed automata
cites work: Real-time system = discrete system + clock variables
cites work: Real time process algebra
cites work: Process Algebra
cites work: Liveness in timed and untimed systems
cites work: Structured operational semantics and bisimulation as a congruence
cites work: Symbolic model checking for real-time systems
cites work: Q3777424
cites work: Q4278673
cites work: Q4038716
cites work: Using mappings to prove timing properties
cites work: Forward and backward simulations. II: Timing-based systems
cites work: CIRCAL and the representation of communication, concurrency, and time
cites work: Q3992568
cites work: The algebra of timed processes, ATP: Theory and application
cites work: From ATP to timed graphs and hybrid systems
cites work: A timed model for communicating sequential processes
cites work: Higher-level synchronising devices in Meije-SCCS
description: scientific article; zbMATH DE number 951636