Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
Lecture notes in computer science2006pp. 44–60
Citations Over Time
Related Papers
- → An action semantics of standard ML(1988)22 cited
- An operational semantics of lazy evaluation for analysis(1993)
- Equivalence proving of operational and denotational semantics about Repeat-until statement(2006)
- Operational Semantics Modelling Semantic Action Refinement for Processes with Interrupt(2004)