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: |