default search action

combined dblp search
author search
venue search
publication search

ask others

UTP 2010: Shanghai, China

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/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/2010
Shengchao Qin:
Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings. Lecture Notes in Computer Science 6445, Springer 2010, ISBN 978-3-642-16689-1
- view
  authority control:
- export record
  dblp key:
  - conf/utp/CavalcantiG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/CavalcantiG10
Ana Cavalcanti, Marie-Claude Gaudel:
Specification Coverage for Testing in Circus. 1-45
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ChenS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ChenS10
Yifeng Chen, Jeff W. Sanders:
UTP and Sustainability. 46-73
- view
  authority control:
- export record
  dblp key:
  - conf/utp/He10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/He10
Jifeng He:
A Probabilistic BPEL-Like Language. 74-100
- view
  authority control:
- export record
  dblp key:
  - conf/utp/BanksJ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/BanksJ10
Michael J. Banks, Jeremy L. Jacob:
On Modelling User Observations in the UTP. 101-119
- view
  authority control:
- export record
  dblp key:
  - conf/utp/BanksJ10a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/BanksJ10a
Michael J. Banks, Jeremy L. Jacob:
Unifying Theories of Confidentiality. 120-136
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Butterfield10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Butterfield10
Andrew Butterfield:
Saoithín: A Theorem Prover for UTP. 137-156
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ChenYD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ChenYD10
Xin Chen, Nan Ye, Wenxu Ding:
A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs. 157-171
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Chen10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Chen10
Yifeng Chen:
Programmable Verifiers in Imperative Programming. 172-187
- view
  authority control:
- export record
  dblp key:
  - conf/utp/FeliachiGW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/FeliachiGW10
Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff:
Unifying Theories in Isabelle/HOL. 188-206
- view
  authority control:
- export record
  dblp key:
  - conf/utp/Guttmann10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/Guttmann10
Walter Guttmann:
Unifying Recursion in Partial, Total and General Correctness. 207-225
- view
  authority control:
- export record
  dblp key:
  - conf/utp/HuizingKV10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/HuizingKV10
Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff:
Halting Still Standing - Programs versus Specifications. 226-233
- view
  authority control:
- export record
  dblp key:
  - conf/utp/LiZWL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/LiZWL10
Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu:
Promoting Models. 234-252
- view
  authority control:
- export record
  dblp key:
  - conf/utp/StoddartB10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/StoddartB10
Bill Stoddart, Pete Bell:
Probabilistic Choice, Reversibility, Loops, and Miracles. 253-270
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhaoWZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhaoWZ10
Yongxin Zhao, Xu Wang, Huibiao Zhu:
Towards a Pomset Semantics for a Shared-Variable Parallel Language. 271-285
- view
  authority control:
- export record
  dblp key:
  - conf/utp/ZhuYH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/utp/ZhuYH10
Huibiao Zhu, Fan Yang, Jifeng He:
Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language. 286-308

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.