An axiomatic semantics for the synchronous language Gentzen.

DOI10.1016/S0022-0000(03)00003-5MaRDI QIDQ1400575zbMATH OpenFDO

Authors Simone Tini

Publication date 13 August 2003

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0022-0000(03)00003-5

zbMATH Keywords

timed concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1701363
• An axiomatic semantics for Esterel
• scientific article; zbMATH DE number 3932376
• scientific article; zbMATH DE number 3902009
• A denotational theory of synchronous reactive systems

Cites work

• A complete inference system for a class of regular behaviours
• An axiomatic semantics for Esterel
• scientific article; zbMATH DE number 3930354 (Why is no real title available?)
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• scientific article; zbMATH DE number 4056992 (Why is no real title available?)
• scientific article; zbMATH DE number 177854 (Why is no real title available?)
• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• scientific article; zbMATH DE number 1497788 (Why is no real title available?)
• Process algebra for synchronous communication
• Statecharts: a visual formalism for complex systems
• The Esterel synchronous programming language: Design, semantics, implementation
• Timed default concurrent constraint programming
• Turning SOS rules into equations
• What is in a step: on the semantics of statecharts

Cited in

(3)

• scientific article; zbMATH DE number 1701363 (Why is no real title available?)
• An axiomatic semantics for Esterel
• Compositional semantics and behavioral equivalences for P systems

Describes a project that uses

Uses Software

• LUSTRE
• Esterel

This page was built for publication: An axiomatic semantics for the synchronous language Gentzen.

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