scientific article; zbMATH DE number 1390333

MaRDI QIDQ4934622zbMATH OpenFDO

Authors Sébastien Bornot, Joseph Sifakis

Publication date 9 April 2000

zbMATH Keywords

composition operatorsuntimed systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• An algebraic framework for urgency
• Reconciling urgency and variable abstraction in a hybrid compositional setting
• Timed automata with urgent transitions
• The Theory of Timed I/O Automata
• The theory of timed I/O automata

Cited in

(3)

• An algebraic framework for urgency
• Reconciling urgency and variable abstraction in a hybrid compositional setting
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4934622)