A Formal Development of a Polychronous Polytimed Coordination Language

MaRDI QIDQ7361023FDO

Authors Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff

Publication date 30 July 2019

Cites work

• A core calculus for correlation in orchestration languages
• A mechanized semantic framework for real-time systems
• A modular formal semantics for Ptolemy
• A structural approach to operational semantics
• A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
• A theory of timed automata
• An embedding of timed transition systems in \(HOL\)
• An executable semantics of clock constraint specification language and its applications
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• Concrete semantics. With Isabelle/HOL
• Conformance testing for real-time systems
• Constructive polychronous systems
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Isabelle/HOL. A proof assistant for higher-order logic
• Monadic Sequence Testing and Explicit Test-Refinements
• On Conformance Testing for Timed Systems
• The stuttering principle revisited

This page was built for software: A Formal Development of a Polychronous Polytimed Coordination Language