Titlebook: Operational Semantics for Timed Systems; A Non-standard Appro Heinrich Rust Book 2005 Springer-Verlag Berlin Heidelberg 2005 abstract state

外形

Concurrency and Reactivity: Interleavingost important modelling strategies. Since real-time models build on non-quantitative models and since we investigate a linear-time model, we will investigate how these two strategies are expressed in the ASM formalism and, more specifically, as NTASMs.

護(hù)航艦

ANN

A保存的

大暴雨

陳舊