Argos: an automaton-based synchronous language

DOI10.1016/S0096-0551(01)00016-9MaRDI QIDQ4329564zbMATH OpenFDO

Authors Yann Rémond, Florence Maraninchi

Publication date 2001

Published in Computer Languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0096-0551(01)00016-9

zbMATH Keywords

Boolean Mealy machinesStatecharts

Mathematics Subject Classification ID

Theory of programming languages (68N15) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1487634
• Synchronous structures
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 526071
• scientific article; zbMATH DE number 1361139

Cited in

(6)

• Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• What is in a step: new perspectives on a classical question
• Causal Semantics for the Algebra of Connectors
• Causal semantics for the algebra of connectors
• Time: it is only logical!

This page was built for publication: Argos: an automaton-based synchronous language

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