Argos: an automaton-based synchronous language
From MaRDI portal
Publication:4329564
DOI10.1016/S0096-0551(01)00016-9zbMath1050.68020MaRDI QIDQ4329564
Yann Rémond, Florence Maraninchi
Publication date: 2001
Published in: Computer Languages (Search for Journal in Brave)
Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items (5)
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 ⋮ Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications ⋮ Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
This page was built for publication: Argos: an automaton-based synchronous language
