An axiomatic semantics for the synchronous language Gentzen.
type: Item
instance of: scholarly article
title: An axiomatic semantics for the synchronous language Gentzen.
zbMATH Open document ID: 1035.68061
DOI: 10.1016/S0022-0000(03)00003-5
author: Simone Tini
published in: Journal of Computer and System Sciences
publication date: 2003-08-13T00:00:00Z
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1963842
zbMATH Keywords: timed concurrent constraint programming
describes a project that uses: LUSTRE
describes a project that uses: Esterel
MaRDI profile type: Publication
cites work: Turning SOS rules into equations
cites work: Process algebra for synchronous communication
cites work: Q3792231
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Q3736900
cites work: Q4284985
cites work: Statecharts: a visual formalism for complex systems
cites work: Q3703299
cites work: A complete inference system for a class of regular behaviours
cites work: Q4038732
cites work: What is in a step: On the semantics of statecharts
cites work: Timed default concurrent constraint programming
cites work: Q4499205
cites work: An axiomatic semantics for Esterel
description: scientific article; zbMATH DE number 1963842