default search action

combined dblp search
author search
venue search
publication search

ask others

UTP 2008: Dublin, Ireland

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/2008
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2008
Andrew Butterfield:
Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5713, Springer 2010, ISBN 978-3-642-14520-9
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Back08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Back08
Ralph-Johan Back:
Refinement Calculus as a Theory of Contracts (Invited Paper). 1
- view
  authority control:
- export record
  dblp key:
  - conf/utp/He08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/He08
Jifeng He:
Transaction Calculus - (Invited Paper). 2-21
- view
  authority control:
- export record
  dblp key:
  - conf/utp/AndersonCF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/AndersonCF08
Hugh Anderson, Gabriel Ciobanu, Leo Freitas:
UTP and Temporal Logic Model Checking. 22-41
- view
  authority control:
- export record
  dblp key:
  - conf/utp/CavalcantiG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/CavalcantiG08
Ana Cavalcanti, Marie-Claude Gaudel:
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming. 42-61
- view
  authority control:
- export record
  dblp key:
  - conf/utp/DunneHG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/DunneHG08
Steve Dunne, Ian J. Hayes, Andy Galloway:
Reasoning about Loops in Total and General Correctness. 62-81
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Guttmann08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Guttmann08
Walter Guttmann:
Lazy UTP. 82-101
- view
  authority control:
- export record
  dblp key:
  - conf/utp/MartinC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/MartinC08
Clare E. Martin, Sharon A. Curtis:
Monadic Maps and Folds for Multirelations in an Allegory. 102-121
- view
  authority control:
- export record
  dblp key:
  - conf/utp/McEwanW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/McEwanW08
Alistair A. McEwan, Jim Woodcock:
Unifying Theories of Interrupts. 122-141
- view
  authority control:
- export record
  dblp key:
  - conf/utp/PernaW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/PernaW08
Juan Ignacio Perna, Jim Woodcock:
UTP Semantics for Handel-C. 142-160
- view
  authority control:
- export record
  dblp key:
  - conf/utp/SmithG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/SmithG08
Michael Anthony Smith, Jeremy Gibbons:
Unifying Theories of Locations. 161-180
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WeiglhoferA08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WeiglhoferA08
Martin Weiglhofer, Bernhard K. Aichernig:
Unifying Input Output Conformance. 181-201
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Woodcock08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Woodcock08
Jim Woodcock:
The Miracle of Reactive Programming. 202-217
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZeydaC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZeydaC08
Frank Zeyda, Ana Cavalcanti:
Encoding Circus Programs in ProofPowerZ. 218-237
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhanKL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhanKL08
Naijun Zhan, Eun-Young Kang, Zhiming Liu:
Component Publications and Compositions. 238-257
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhuHPJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhuHPJ08
Huibiao Zhu, Jifeng He, Xiaoqing Peng, Naiyong Jin:
Denotational Approach to an Event-Driven System-Level Language. 258-278

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.