Compositionality in dataflow synchronous languages: specification \& code generation

DOI10.1007/3-540-49213-5_3MaRDI QIDQ7010081zbMATH OpenFDO

Authors Albert Benveniste, Paul Le Guernic, Pascal Aubry

Publication date 19 March 2025

zbMATH Keywords

modularitycode generationsynchronous languagesdesynchronisationseparate compilation

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Compositionality in dataflow synchronous languages: specification \& code generation

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