On the semantics of polychronous polytimed specifications
type: Item
instance of: scholarly article
title: On the semantics of polychronous polytimed specifications
DOI: 10.1007/978-3-030-57628-8_2
author: Hai Nguyen Van
author: Thibaut Balabonski
author: Frédéric Boulanger
author: Chantal Keller
author: Benoît Valiron
author: Burkhart Wolff
publication date: 2021-03-02T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7317088
zbMATH Keywords: concurrency
zbMATH Keywords: coordination
zbMATH Keywords: semantics
zbMATH Keywords: timed behaviors
describes a project that uses: Isabelle/HOL
MaRDI profile type: Publication
full work available at URL: 978-3-030-57628-8 2
OpenAlex ID: W3080738570
cites work: A theory of timed automata
cites work: Zélus
cites work: A metamodel for the design of polychronous systems
cites work: A Mechanized Semantic Framework for Real-Time Systems
cites work: Q4038723
cites work: An embedding of timed transition systems in \(HOL\)
cites work: The stuttering principle revisited
cites work: Q3736900
cites work: A symbolic operational semantics for TESL -- with an application to heterogeneous system testing
cites work: Concrete Semantics
cites work: Isabelle/HOL. A proof assistant for higher-order logic
cites work: Multi-task implementation of multi-periodic synchronous programs
cites work: Q5714446
cites work: Constructive Polychronous Systems
cites work: An Executable Semantics of Clock Constraint Specification Language and Its Applications
description: scientific article; zbMATH DE number 7317088