Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C F G H L M N S T W X Y Z

A
Aichernig, Bernhard K.	A Testing Perspective on Algebraic, Denotational, and Operational Semantics
B
Butterfield, Andrew	The Inner and Outer Algebras of Unified Concurrency
C
Cavalcanti, Ana	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
F
Foster, Simon	Probabilistic Semantics for RoboChart: A Weakest Completion Approach Hybrid Relations in Isabelle/UTP
G
Guttmann, Walter	Connecting Fixpoints of Computations with Strict Progress
H
Hayes, Ian J.	Developing an algebra for rely/guarantee concurrency
Hoare, Tony	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
L
Lin, Qianqian	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
M
Meinicke, Larissa	Developing an algebra for rely/guarantee concurrency
Mota, Alexandre	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
N
Naumann, David	Whither specifications as programs
Ngo, Minh	Whither specifications as programs
S
Struth, Georg	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic
T
Talpin, Jean-Pierre	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
W
Wang, Shuling	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Woodcock, Jim	A Calculus of Space, Time and Causality: its Algebra, Geometry, Logic Probabilistic Semantics for RoboChart: A Weakest Completion Approach
Wu, Xi	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
X
Xie, Wanling	UTP Semantics of a Calculus for Mobile Ad Hoc Networks
Xu, Xiong	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Y
Ye, Kangfeng	Probabilistic Semantics for RoboChart: A Weakest Completion Approach
Z
Zhan, Haolan	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Zhan, Naijun	Unified Graphical Co-Modelling of Cyber-Physical Systems using AADL and Simulink/Stateflow
Zhu, Huibiao	UTP Semantics of a Calculus for Mobile Ad Hoc Networks