Login / Signup

A Non-standard Approach to Operational Semantics for Timed Systems.

Heinrich Rust
Published in: Abstract State Machines (2003)
Keyphrases
  • operational semantics
  • cooperative
  • query language
  • agent systems