Operational semantics
相关论文数: 20
顶级研究者
最高引用论文
Limits for automatic verification of finite-state concurrent systems
Krzysztof R. Apt, Dexter Kozen
引用数: 375 • 1986
Fixed point theorems and semantics: a folk tale
J.-L. Lassez, V.L. Nguyen, Ea Sonenberg
引用数: 133 • 1982
Foundations of Computational Linguistics: Human-Computer Communication in Natural Language
Roland Hausser
引用数: 68 • 1999
Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra
Yingxu Wang, Yousheng Tian, Kendal Hu
引用数: 59 • 2011
引用数: 59
Concept Algebra: A Denotational Mathematics for Formal Knowledge Representation and Cognitive Robot Learning
Yingxu Wang
引用数: 48 • 2015
Coordinating Robotic Tasks and Systems with rFSM Statecharts
Markus Klotzbuecher, Herman Bruyninckx
引用数: 42 • 2012
Communicating shared resources: a model for distributed real-time systems
R. Gerber, I. Lee
引用数: 36 • 2003
Geometric Relations Between Rigid Bodies (Part 1): Semantics for Standardization
Tinne De Laet, Steven Bellens, Ruben Smits, Erwin Aertbeliën, Herman Bruyninckx, Joris De Schutter
引用数: 34 • 2013
The logic of tasks
Giorgi Japaridze
引用数: 29 • 2002
Automating Verification of State Machines with Reactive Designs and Isabelle/UTP
Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa
引用数: 27 • 2018
<title>Sequencing formally defined reactions for robotic activity: integrating RAPS and GAPPS</title>
Marc G. Slack
引用数: 26 • 1992
Testing Robots Using CSP
Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru
引用数: 16 • 2019
Probabilistic Semantics for RoboChart
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
引用数: 12 • 2019
Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications
Gennaro De Luca, Yinong Chen
引用数: 11 • 2019
Description of semantics of robot programming languages
Cezary Zieliński
引用数: 11 • 1992
Approximate Epistemic Planning with Postdiction as Answer-Set Programming
Manfred Eppe, Mehul Bhatt, Frank Dylla
引用数: 10 • 2013
Language for humans and robots
Patrick Suppes
引用数: 10 • 1991
Analysing RoboChart with Probabilities
Madiel Conserva Filho, Rhoger Fellipe Marinho, Alexandre Mota, Jim Woodcock
引用数: 9 • 2018
A Formal Semantics for Brahms
Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher
引用数: 9 • 2011