default search action

combined dblp search
author search
venue search
publication search

ask others

UTP 2016: Reykjavik, Iceland

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > UTP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/utp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2016
Jonathan P. Bowen, Huibiao Zhu:
Unifying Theories of Programming - 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10134, Springer 2017, ISBN 978-3-319-52227-2
- view
  authority control:
- export record
  dblp key:
  - conf/utp/MollerHMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/MollerHMS16
Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth:
A Discrete Geometric Model of Concurrent Program Execution. 1-25
- view
  authority control:
- export record
  dblp key:
  - conf/utp/He16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/He16
Jifeng He:
A New Roadmap for Linking Theories of Programming. 26-43
- view
  authority control:
- export record
  dblp key:
  - conf/utp/FosterTCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/FosterTCW16
Simon Foster, Bernhard Thiele, Ana Cavalcanti, Jim Woodcock:
Towards a UTP Semantics for Modelica. 44-64
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ChenRWYZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ChenRWYZ16
Mingshuai Chen, Anders P. Ravn, Shuling Wang, Mengfei Yang, Naijun Zhan:
A Two-Way Path Between Formal and Informal Design of Embedded Systems. 65-92
- view
  authority control:
- export record
  dblp key:
  - conf/utp/LiM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/LiM16
Siqi Li, Eric Madelaine:
A Denotational Semantics for Parameterised Networks of Synchronised Automata. 93-113
- view
  authority control:
- export record
  dblp key:
  - conf/utp/NgondiW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/NgondiW16
Gerard Ekembe Ngondi, Jim Woodcock:
UTP Semantics of Reactive Processes with Continuations. 114-133
- view
  authority control:
- export record
  dblp key:
  - conf/utp/RibeiroCW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/RibeiroCW16
Pedro Ribeiro, Ana Cavalcanti, Jim Woodcock:
A Stepwise Approach to Linking Theories. 134-154
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZeydaFF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZeydaFF16
Frank Zeyda, Simon Foster, Leo Freitas:
An Axiomatic Value Model for Isabelle/UTP. 155-175
- view
  authority control:
- export record
  dblp key:
  - conf/utp/XieX16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/XieX16
Wanling Xie, Shuangqing Xiang:
UTP Semantics for rTiMo. 176-196
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Butterfield16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Butterfield16
Andrew Butterfield:
UTPCalc - A Calculator for UTP Predicates. 197-216

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.