9.. The Synchronous Approach to Concurrency.

Autor:	Rust, Heinrich
Zdroj:	Operational Semantics for Timed Systems; 2005, p83-95, 13p
Abstrakt:	9.1. Reactive Systems as Mealy Automata 9.2. Composing I/O Automata 9.3. Micro-steps of Synchronous Systems as ASMs 9.4. Environment Interaction and the Synchrony Hypothesis 9.5. Synchronous NTASM Models 9.6. Summary [ABSTRACT FROM AUTHOR]
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu