Action semantics
Related papers: 4
Top Researchers
Top Cited Papers
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
Citations: 133 • 1982
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
Citations: 27 • 2018
Language for humans and robots
Patrick Suppes
Citations: 10 • 1991
Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language
William Steingartner, Davorka Radaković, Richard Zsiga
Citations: 2 • 2023