An axiomatic semantics for the synchronous language Gentzen.

DOI10.1016/S0022-0000(03)00003-5zbMath1035.68061MaRDI QIDQ1400575

Simone Tini

Publication date: 13 August 2003

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

zbMATH Keywords

timed concurrent constraint programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (1)

Compositional semantics and behavioral equivalences for P systems

Uses Software

• LUSTRE
• Esterel

Cites Work

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

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