Proceedings of the Estonian Academy of Sciences, Engineering |
Common terms and phrases
abort abstract cache abstract interpretation analysis autonomous jump sets axioms Binary Exponential Binary Exponential Backoff bool cache behaviour cache line cache misses client Communicating Sequential Processes comp2 compl components continuous evolution control flow graph controlled jump sets defined denotational semantics denote described differential action discrete changes dispersed phase distributed real-time driving equations Eset EsetO Estonian Acad evolution guard Exponential Backoff Exponential Backoff Protocol Formal verification formula framework fully associative Hooman hybrid action systems hybrid alternation inter-particle collisions iteration join function jump destination sets lift forces LNCS loop mass concentration memory blocks memory references non-deterministic composition observation parallel composition particle collision particle fractions predicate prioritized strict alternation Proc Prototype Verification System pseudo-viscosity coefficients real-time systems refinement Reynolds number rule Section semantics server solar specification Springer synthesis of programs Tallinn temporal logic THEOREM theory TransDelayU Two-phase Flows unified model variables velocity verification WCET