An axiomatic semantics for the synchronous language Gentzen.

DOI10.1016/S0022-0000(03)00003-5zbMATH Open1035.68061MaRDI QIDQ1400575FDOQ1400575

Authors: Simone Tini 

Publication date: 13 August 2003

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

Recommendations

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

zbMATH Keywords

timed concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• The Esterel synchronous programming language: Design, semantics, implementation
• Statecharts: a visual formalism for complex systems
• Process algebra for synchronous communication
• Title not available (Why is that?)
• Timed default concurrent constraint programming
• Title not available (Why is that?)
• A complete inference system for a class of regular behaviours
• Turning SOS rules into equations
• What is in a step: On the semantics of statecharts
• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic semantics for Esterel
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• An axiomatic semantics for Esterel
• Compositional semantics and behavioral equivalences for P systems
• Title not available (Why is that?)

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)