Action semantics
相关论文数: 4
顶级研究者
最高引用论文
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
引用数: 133 • 1982
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
引用数: 27 • 2018
Language for humans and robots
Patrick Suppes
引用数: 10 • 1991
Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language
William Steingartner, Davorka Radaković, Richard Zsiga
引用数: 2 • 2023