UTP 2019: 7TH INTERNATIONAL SYMPOSIUM ON UNIFYING THEORIES OF PROGRAMMING

This page contains an index consisting of author-provided keywords.

A
AADL	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Action Algebra	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
algebraic structures	Connecting Fixpoints of Computations with Strict Progress
Analysis	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
approximation order	Connecting Fixpoints of Computations with Strict Progress
axiomatic semantics	Connecting Fixpoints of Computations with Strict Progress
C
Calculus of Communicating Systems (CCS)	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Cartesian Coordinates	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Co-simulation	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Code generation	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Communicating Sequential Processes (CSP)	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Communication Quality	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
computation models	Connecting Fixpoints of Computations with Strict Progress
concurrency	Developing an algebra for rely/guarantee concurrency
Concurrent Kleene Algebra	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Concurrent Kleene Algebras	The Inner and Outer Algebras of Unified Concurrency
Concurrent Separation Logic (CSL)	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
D
Discrete Euclidian Geometry	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
F
fixpoint	Whither specifications as programs
fixpoints	Connecting Fixpoints of Computations with Strict Progress
H
Hybrid Systems	Hybrid Relations in Isabelle/UTP
hyperproperty	Whither specifications as programs
I
Inner Algebras	The Inner and Outer Algebras of Unified Concurrency
Isabelle/HOL	Hybrid Relations in Isabelle/UTP
M
MANETs	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
mCWQ calculus	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
Mobility	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
Model-Based Testing	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
O
Outer Algebras	The Inner and Outer Algebras of Unified Concurrency
P
Probabilistic semantics	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
program algebra	Developing an algebra for rely/guarantee concurrency Whither specifications as programs
program semantics	Connecting Fixpoints of Computations with Strict Progress
Q
Quickcheck	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
R
Relational calculus	Hybrid Relations in Isabelle/UTP Probabilistic Semantics for RoboChart: A Weakest Completion Approach
relations	Connecting Fixpoints of Computations with Strict Progress
rely/guarantee	Developing an algebra for rely/guarantee concurrency
RoboChart language	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
Robotic controllers	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
S
Semantics	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
sequential computations	Connecting Fixpoints of Computations with Strict Progress
Shared-Variable Concurrency	The Inner and Outer Algebras of Unified Concurrency
Simulink/Stateflow	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
SMT Solving	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Statecharts	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
Symbolic Execution	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
T
Test-Case Generation	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
the Unified Modelling Language (UML	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
Theorem Proving	Hybrid Relations in Isabelle/UTP
U
Unifying Theories of Programming	The Inner and Outer Algebras of Unified Concurrency A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Unifying Theories of Programming (UTP)	Probabilistic Semantics for RoboChart: A Weakest Completion Approach A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
UTP	Hybrid Relations in Isabelle/UTP
UTP semantics	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
W
Weakest completion semantics	Probabilistic Semantics for RoboChart: A Weakest Completion Approach

Disclaimer | Powered by EasyChair Smart Program