Unifying Theories of Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 10)

H-INDEX

1

(FIVE YEARS 1)

Published By Springer International Publishing

9783030310370, 9783030310387

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_6 ◽

2019 ◽

pp. 109-129

Author(s):

Haolan Zhan ◽

Qianqian Lin ◽

Shuling Wang ◽

Jean-Pierre Talpin ◽

Xiong Xu ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_9 ◽

2019 ◽

pp. 176-197 ◽

Author(s):

Ian J. Hayes ◽

Larissa A. Meinicke

Keyword(s):

Design Decisions

Download Full-text

Whither Specifications as Programs

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_3 ◽

2019 ◽

pp. 39-61 ◽

Author(s):

David A. Naumann ◽

Minh Ngo

Download Full-text

Connecting Fixpoints of Computations with Strict Progress

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_4 ◽

2019 ◽

pp. 62-79

Author(s):

Walter Guttmann

Download Full-text

Hybrid Relations in Isabelle/UTP

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_7 ◽

2019 ◽

pp. 130-153 ◽

Author(s):

Simon Foster

Download Full-text

A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_1 ◽

2019 ◽

pp. 3-21 ◽

Author(s):

Tony Hoare ◽

Georg Struth ◽

Jim Woodcock

Keyword(s):

Download Full-text

Probabilistic Semantics for RoboChart

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_5 ◽

2019 ◽

pp. 80-105 ◽

Author(s):

Jim Woodcock ◽

Ana Cavalcanti ◽

Simon Foster ◽

Alexandre Mota ◽

Kangfeng Ye

Keyword(s):

Probabilistic Semantics

Download Full-text

The Inner and Outer Algebras of Unified Concurrency

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_8 ◽

2019 ◽

pp. 157-175

Author(s):

Andrew Butterfield

Download Full-text

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_2 ◽

2019 ◽

pp. 22-38

Author(s):

Bernhard K. Aichernig

Keyword(s):

Operational Semantics

Download Full-text

UTP Semantics of a Calculus for Mobile Ad Hoc Networks

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_10 ◽

2019 ◽

pp. 198-216

Author(s):

Xi Wu ◽

Huibiao Zhu ◽

Wanling Xie

Keyword(s):

Ad Hoc Networks ◽

Mobile Ad Hoc Networks ◽

Ad Hoc ◽

Mobile Ad Hoc ◽

Download Full-text