UTP

Keyphrases

Publications

2019

Xi Wu, Huibiao Zhu, Wanling Xie
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP (2019)
Bernhard K. Aichernig
A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP (2019)
Walter Guttmann
Connecting Fixpoints of Computations with Strict Progress. UTP (2019)
David A. Naumann, Minh Ngo
Whither Specifications as Programs. UTP (2019)
Tony Hoare, Georg Struth, Jim Woodcock
A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic. UTP (2019)
Jim Woodcock, Ana Cavalcanti, Simon Foster, Alexandre Mota, Kangfeng Ye
Probabilistic Semantics for RoboChart - A Weakest Completion Approach. UTP (2019)
Ian J. Hayes, Larissa A. Meinicke
Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. UTP (2019)
Haolan Zhan, Qianqian Lin, Shuling Wang, Jean-Pierre Talpin, Xiong Xu, Naijun Zhan
Unified Graphical Co-modelling of Cyber-Physical Systems Using AADL and Simulink/Stateflow. UTP (2019)
Andrew Butterfield
The Inner and Outer Algebras of Unified Concurrency. UTP (2019)
Simon Foster
Hybrid Relations in Isabelle/UTP. UTP (2019)

volume 11885, 2019

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 UTP 11885 (2019)

volume 10134, 2017

Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers UTP 10134 (2017)

2016

volume 8963, 2015

Unifying Theories of Programming - 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers UTP 8963 (2015)

2014

volume 7681, 2013

Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers UTP 7681 (2013)

2012

2010

volume 6445, 2010

Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings UTP 6445 (2010)

volume 5713, 2010

Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers UTP 5713 (2010)