On the semantics of polychronous polytimed specifications

DOI10.1007/978-3-030-57628-8_2OpenAlexW3080738570MaRDI QIDQ1996008

Thibaut Balabonski, Benoît Valiron, Hai Nguyen Van, Burkhart Wolff, Frédéric Boulanger, Chantal Keller

Publication date: 2 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8_2

zbMATH Keywords

semanticscoordinationconcurrencytimed behaviors

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Isabelle/HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-task implementation of multi-periodic synchronous programs
• A metamodel for the design of polychronous systems
• An embedding of timed transition systems in \(HOL\)
• A theory of timed automata
• Isabelle/HOL. A proof assistant for higher-order logic
• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• The stuttering principle revisited
• A Mechanized Semantic Framework for Real-Time Systems
• Concrete Semantics
• Zélus
• Constructive Polychronous Systems
• An Executable Semantics of Clock Constraint Specification Language and Its Applications

This page was built for publication: On the semantics of polychronous polytimed specifications