Unifying Theories of Programming

No abstract is available for this paper.

• Publication year

  2012

• Venue

  Lecture Notes in Computer Science

• Publication date

  Unknown publication date

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-35705-3
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Concurrent Kleene Algebra

  2009cited by this paper
• The origins of structural operational semantics

  2004influential reference
• A structural approach to operational semantics

  2004influential reference
• Implementing CCS in Maude 2

  2004cited by this paper
• From Operational Semantics to Denotational Semantics for Verilog

  2001cited by this paper
• Deriving operational semantics from denotational semantics for Verilog

  2001cited by this paper
• Realtime systems

  1997influential reference
• Semantics with applications - a formal introduction

  1992influential reference
• The Revised Report on the Syntactic Theories of Sequential Control and State

  1992influential reference
• A Calculus of Durations

  1991cited by this paper
• A completeness theorem for Kleene algebras and the algebra of regular events

  1991influential reference
• The chemical abstract machine

  1989influential reference
• Communication and concurrency

  1989cited by this paper
• Natural Semantics

  1987influential reference
• Laws of programming

  1987influential reference

• from Predicative Programming to aPToP

  2025cites this paper
• Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs

  2025cites this paper
• A Brief History of Formal Methods in China

  2025cites this paper
• Compositional symbolic execution semantics

  2025cites this paper
• Diagrammatic physical robot models

  2025cites this paper
• Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL

  2024influential citation
• Deadlock-Free Verification of the SACI-1 OBC Using Circus Time Action and FDR

  2024cites this paper
• Trace Semantics for C++11 Memory Model

  2024cites this paper
• Trace and Algebraic Semantics for Partial Store Order Memory Model

  2024cites this paper
• RoboCertProb: Property Specification for Probabilistic RoboChart Models

  2024cites this paper
• PCSP# Denotational Semantics with an Application in Sports Analytics

  2024cites this paper
• Staged Specification Logic for Verifying Higher-Order Imperative Programs

  2023cites this paper
• A Generalized Hybrid Hoare Logic

  2023influential citation
• Formally Verified Animation for RoboChart Using Interaction Trees

  2023influential citation
• RoboWorld: Verification of Robotic Systems with Environment in the Loop

  2023cites this paper
• Checking and Automating Confidentiality Theory in Isabelle/UTP

  2023cites this paper
• Semantics Foundation for Cyber-physical Systems Using Higher-order UTP

  2023influential citation
• Relation-Algebraic Verification of Disjoint-Set Forests

  2023cites this paper
• A process calculus SMrCaIT for IoT

  2023cites this paper
• A proof system of the CaIT calculus

  2023cites this paper
• Automated Compositional Verification for Robotic State Machines using Isabelle/HOL

  2023cites this paper
• Concurrent Hyperproperties

  2023cites this paper
• Composing Turing Machines in FSM

  2023cites this paper
• From CCS to CSP: the m-among-n Synchronisation Approach

  2022cites this paper
• A CSP model with flexible parallel termination semantics. (

  2022cites this paper
• A denotational semantics of Simulink with higher-order UTP

  2022influential citation
• bGSL: An imperative language for specification and refinement of backtracking programs

  2022cites this paper
• Algebraic Semantics for C++11 Memory Model

  2022cites this paper
• Design of Classes I

  2022cites this paper
• Towards the Future: Bring Program Correctness back to the focus

  2022cites this paper
• Correct hardware synthesis. (English)

  2022cites this paper
• discrete execution.

  2022cites this paper
• A UTP semantics for Circus . (English)

  2022cites this paper
• Compositional Verification of Interacting Systems Using Event Monads

  2022cites this paper
• Denotational and Algebraic Semantics for the CaIT Calculus

  2022cites this paper
• Complete Requirements-based Testing with Finite State Machines

  2021cites this paper
• Verification in the Grand Challenge

  2021influential citation
• CSP: A Practical Process Algebra

  2021cites this paper
• Integrating Information Flow Analysis in Unifying Theories of Programming

  2021cites this paper
• Denotational semantics of channel mobility in UTP-CSP

  2021influential citation
• A manifesto for applicable formal methods

  2021cites this paper
• Finding Effective Abstractions

  2021cites this paper
• Hoare and He’s Unifying Theories of Programming

  2021cites this paper
• Trace Semantics and Algebraic Laws for Total Store Order Memory Model

  2021influential citation
• Probabilistic modelling and verification using RoboChart and PRISM

  2021influential citation
• Building Specifications in the Event-B Institution

  2021cites this paper
• Safety assurance of an industrial robotic control system using hardware/software co-verification

  2021cites this paper
• List of Tony Hoare’s Publications

  2021cites this paper
• Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles

  2020cites this paper
• Inputs and outputs in CSP: a model and a testing theory

  2020cites this paper
• A refinement checking based strategy for component-based systems evolution

  2020cites this paper
• The CLEARSY Safety Platform: 5 Years of Research, Development and Deployment

  2020cites this paper
• Inputs and Outputs in CSP

  2020cites this paper
• Automated Algebraic Reasoning for Collections and Local Variables with Lenses

  2020cites this paper
• Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

  2020cites this paper
• Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP

  2020cites this paper
• Understanding Programming Languages

  2020cites this paper
• Formal Model-Based Assurance Cases in Isabelle/SACM : An Autonomous Underwater Vehicle Case Study

  2020influential citation
• Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

  2020cites this paper
• Language evolution and healthiness for critical cyber‐physical systems

  2020cites this paper
• Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras

  2020cites this paper
• Reasoning about effectful programs and evaluation order

  2020cites this paper
• Automated Verification of Reactive and Concurrent Programs by Calculation

  2020influential citation
• A Formal Proof of the Soundness of the Hybrid CPS Clock Theory

  2020cites this paper
• A Theory of Black-Box Tests

  2020cites this paper
• A Unary Semigroup Trace Algebra

  2020cites this paper
• How to Design While Loops

  2020cites this paper
• Understanding, Explaining, and Deriving Refinement

  2019cites this paper
• Whither Programs as Specifications

  2019cites this paper
• Mechanised Assurance Cases with Integrated Formal Methods in Isabelle

  2019cites this paper
• APML: An Architecture Proof Modeling Language

  2019cites this paper
• Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

  2019influential citation
• Unifying Semantic Foundations for Automated Verification Tools in Isabelle/UTP

  2019influential citation
• Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

  2019cites this paper
• Whither Specifications as Programs

  2019influential citation
• Bunch theory: working notes on applications, axioms and models

  2019cites this paper
• INtegrated TOol chain for model-based design of CPSs

  2019cites this paper
• Isabelle/UTP: Mechanised Theory Engineering for Unifying Theories of Programming

  2019influential citation
• Quality of service in IoT protocol as designs and its verification in PVS

  2019cites this paper
• A framework for automated concurrency verification

  2019cites this paper
• A Mechanized Theory of Program Refinement

  2019cites this paper
• A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP

  2019cites this paper
• SCJ-Circus: Specification and refinement of Safety-Critical Java programs

  2019influential citation
• Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

  2019influential citation
• Connecting Fixpoints of Computations with Strict Progress

  2019cites this paper
• Angelic processes for CSP via the UTP

  2019influential citation
• The Inner and Outer Algebras of Unified Concurrency

  2019cites this paper
• Circus2CSP: A Tool for Model-Checking Circus Using FDR

  2019cites this paper
• Hybrid Relations in Isabelle/UTP

  2019influential citation
• Probabilistic Semantics for RoboChart - A Weakest Completion Approach

  2019influential citation
• Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings

  2019influential citation
• Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow

  2019influential citation
• Towards a Model-Checker for Circus

  2019influential citation
• RoboChart: modelling and verification of the functional behaviour of robotic applications

  2019cites this paper
• Artificial Intelligence: 5th RAAI Summer School, Dolgoprudny, Russia, July 4–7, 2019, Tutorial Lectures

  2019cites this paper
• Verified simulation for robotics

  2019cites this paper
• Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

  2018influential citation
• Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

  2018influential citation
• Ahead-of-time algebraic compilation for safety-critical Java

  2018cites this paper
• New Opportunities for Integrated Formal Methods

  2018cites this paper