default search action

combined dblp search
author search
venue search
publication search

ask others

UTP 2012: Paris, France

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/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2012
Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi:
Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7681, Springer 2013, ISBN 978-3-642-35704-6
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WoodcockB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WoodcockB12
Jim Woodcock, Victor Bandur:
Unifying Theories of Undefinedness in UTP. 1-22
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Gibbons12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Gibbons12
Jeremy Gibbons:
Unifying Theories of Programming with Monads. 23-67
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WeiWC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WeiWC12
Kun Wei, Jim Woodcock, Ana Cavalcanti:
Circus Time with Reactive Designs. 68-87
- view
  authority control:
- export record
  dblp key:
  - conf/utp/StadenH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/StadenH12
Stephan van Staden, Tony Hoare:
Algebra Unifies Operational Calculi. 88-104
- view
  authority control:
- export record
  dblp key:
  - conf/utp/BrescianiB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/BrescianiB12
Riccardo Bresciani, Andrew Butterfield:
A Probabilistic Theory of Designs Based on Distributions. 105-123
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Butterfield12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Butterfield12
Andrew Butterfield:
The Logic of U ·(TP)². 124-143
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Dunne12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Dunne12
Steve Dunne:
Conscriptions: A New Relational Model for Sequential Computations. 144-163
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhuLHQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhuLHQ12
Huibiao Zhu, Peng Liu, Jifeng He, Shengchao Qin:
Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog Using Maude. 164-185
- view
  authority control:
- export record
  dblp key:
  - conf/utp/WuZZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/WuZZ12
Chengcheng Wu, Yongxin Zhao, Huibiao Zhu:
Unifying Operational Semantics with Algebraic Semantics for Instantaneous Reactions. 186-203
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZeydaC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZeydaC12
Frank Zeyda, Ana Cavalcanti:
Higher-Order UTP for a Theory of Methods. 204-223
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhuSHQ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhuSHQ12
Huibiao Zhu, Jeff W. Sanders, Jifeng He, Shengchao Qin:
Denotational Semantics for a Probabilistic Timed Shared-Variable Language. 224-247

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.