Operational semantics

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

Citations: 375 • 1986

Fixed point theorems and semantics: a folk tale

J.-L. Lassez, V.L. Nguyen, Ea Sonenberg

Citations: 133 • 1982

Foundations of Computational Linguistics: Human-Computer Communication in Natural Language

Roland Hausser

Citations: 68 • 1999

Semantic Manipulations and Formal Ontology for Machine Learning based on Concept Algebra

Yingxu Wang, Yousheng Tian, Kendal Hu

Citations: 59 • 2011

Citations: 59

Concept Algebra: A Denotational Mathematics for Formal Knowledge Representation and Cognitive Robot Learning

Yingxu Wang

Citations: 48 • 2015

Coordinating Robotic Tasks and Systems with rFSM Statecharts

Markus Klotzbuecher, Herman Bruyninckx

Citations: 42 • 2012

Communicating shared resources: a model for distributed real-time systems

R. Gerber, I. Lee

Citations: 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

Citations: 34 • 2013

The logic of tasks

Giorgi Japaridze

Citations: 29 • 2002

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa

Citations: 27 • 2018

<title>Sequencing formally defined reactions for robotic activity: integrating RAPS and GAPPS</title>

Marc G. Slack

Citations: 26 • 1992

Testing Robots Using CSP

Ana Cavalcanti, James Baxter, Robert M. Hierons, Raluca Lefticaru

Citations: 16 • 2019

Probabilistic Semantics for RoboChart

Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye

Citations: 12 • 2019

Semantic Analysis of Concurrent Computing in Decentralized IoT and Robotics Applications

Gennaro De Luca, Yinong Chen

Citations: 11 • 2019

Description of semantics of robot programming languages

Cezary Zieliński

Citations: 11 • 1992

Approximate Epistemic Planning with Postdiction as Answer-Set Programming

Manfred Eppe, Mehul Bhatt, Frank Dylla

Citations: 10 • 2013

Language for humans and robots

Patrick Suppes

Citations: 10 • 1991

Analysing RoboChart with Probabilities

Madiel Conserva Filho, Rhoger Fellipe Marinho, Alexandre Mota, Jim Woodcock

Citations: 9 • 2018

A Formal Semantics for Brahms

Richard Stocker, Maarten Sierhuis, Louise A. Dennis, Clare Dixon, Michael Fisher

Citations: 9 • 2011