Unifying Theories of Programming

Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

  • Shengchao Qin
Conference proceedings UTP 2010

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6445)

Table of contents

  1. Front Matter
  2. Ana Cavalcanti, Marie-Claude Gaudel
    Pages 1-45
  3. Yifeng Chen, Jeff W. Sanders
    Pages 46-73
  4. He Jifeng
    Pages 74-100
  5. Michael J. Banks, Jeremy L. Jacob
    Pages 101-119
  6. Michael J. Banks, Jeremy L. Jacob
    Pages 120-136
  7. Andrew Butterfield
    Pages 137-156
  8. Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
    Pages 188-206
  9. Cornelis Huizing, Ruurd Kuiper, Tom Verhoeff
    Pages 226-233
  10. Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
    Pages 234-252
  11. Bill Stoddart, Pete Bell
    Pages 253-270
  12. Yongxin Zhao, Xu Wang, Huibiao Zhu
    Pages 271-285
  13. Back Matter

About these proceedings


CSP Galois connections Software Engineering co-operating computer security confidentiality properties correctness design distributed testing expectations formal methods modeling pr programming recursion

Editors and affiliations

  • Shengchao Qin
    • 1
  1. 1.School of ComputingUniversity of TeessideMiddlesbroughUK

Bibliographic information

Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment