Compositionality in dataflow synchronous languages: Specification and distributed code generation
type: Item
instance of: scholarly article
title: Compositionality in dataflow synchronous languages: Specification and distributed code generation
zbMATH Open document ID: 1003.68068
author: Albert Benveniste
author: Benoît Caillaud
author: Paul Le Guernic
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 1853137
describes a project that uses: SynDEx
describes a project that uses: SIGNAL
describes a project that uses: Esterel
MaRDI profile type: Publication
full work available at URL: inco.2000.9999
OpenAlex ID: W2040789302
cites work: Theory of traces
cites work: Hybrid dynamical systems theory and the Signal language
cites work: Synchronous programming with events and relations: The SIGNAL language and its semantics
cites work: A denotational theory of synchronous reactive systems
cites work: Clocks in dataflow languages
cites work: Semi-commutations
cites work: Q4284985
cites work: Specifying Concurrent Program Modules
DOI: 10.1006/INCO.2000.9999
description: scientific article; zbMATH DE number 1853137