Denotational semantics

Fixed point theorems and semantics: a folk tale

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

Citations: 133 • 1982

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

Yingxu Wang, Yousheng Tian, Kendal Hu

Citations: 59 • 2011

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

Yingxu Wang

Citations: 48 • 2015

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

R. Gerber, I. Lee

Citations: 36 • 2003

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

Simon Foster, James Baxter, Ana Cavalcanti, Alvaro Miyazawa

Citations: 27 • 2018

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

Citations: 20 • 2018

Language for humans and robots

Patrick Suppes

Citations: 10 • 1991

Automated verification of reactive and concurrent programs by calculation

Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock

Citations: 7 • 2021

Formally Verified Animation for RoboChart Using Interaction Trees

Kangfeng Ye, Simon Foster, Jim Woodcock

Citations: 7 • 2022

Formally verified animation for RoboChart using interaction trees

Kangfeng Ye, Simon Foster, Jim Woodcock

Citations: 6 • 2023

A Rewriting Framework for Interacting Cyber-Physical Agents

Benjamin Lion, Farhad Arbab, Carolyn Talcott

Citations: 6 • 2022

Towards a fuzzy logical algebra (FLA) for formal inferences in cognitive computing and cognitive robotics

Yingxu Wang

Citations: 5 • 2015

Domain Specific Language for Geometric Relations between Rigid Bodies targeted to robotic applications

Tinne De Laet, Wouter Schaekers, Jonas de Greef, Herman Bruyninckx

Citations: 5 • 2013

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

Yingxu Wang, Yousheng Tian, Kendal Hu

Citations: 3 • 2012

Some Aspects about Visualization of Natural Semantics for a Selected Domain-Specific Language

William Steingartner, Davorka Radaković, Richard Zsiga

Citations: 2 • 2023

Public and Private Affairs in Strategic Reasoning

Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

Citations: 2 • 2022

When Programs Have to Watch Paint Dry

Danel Ahman

Citations: 2 • 2023

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

Pedro H. Azevedo de Amorim, Christopher Wai‐Kei Lam

Citations: 2 • 2022