A symbolic operational semantics for TESL -- with an application to heterogeneous system testing

DOI10.1007/978-3-319-65765-3_18zbMath1494.68154OpenAlexW2741953624MaRDI QIDQ1683463

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

Publication date: 1 December 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-65765-3_18

zbMATH Keywords

synchronicityheterogeneitytimed behaviors

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

On the semantics of polychronous polytimed specifications

This page was built for publication: A symbolic operational semantics for TESL -- with an application to heterogeneous system testing