Advertisement

Theoretical Aspects of Computing – ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

  • Zhiming Liu
  • Jim Woodcock
  • Huibiao Zhu
Conference proceedings ICTAC 2013

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

Table of contents

  1. Front Matter
  2. Luca Cardelli, Radu Mardare
    Pages 1-21
  3. Bogdan Aman, Gabriel Ciobanu
    Pages 59-75
  4. Richard Banach, Michael Butler
    Pages 76-93
  5. Riccardo Bresciani, Andrew Butterfield
    Pages 94-111
  6. Achim D. Brucker, Lukas Brügger, Burkhart Wolff
    Pages 112-121
  7. Wen-Ju Cheng, Jim Cox, Stathis Zachos
    Pages 122-140
  8. Gabriel Ciobanu, Armand Rotaru
    Pages 141-158
  9. Ruzhen Dong, Naijun Zhan, Liang Zhao
    Pages 159-176
  10. Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
    Pages 177-194
  11. Neville Grech, Julian Rathke, Bernd Fischer
    Pages 195-212
  12. Jan Křetínský, Salomon Sickert
    Pages 213-230
  13. Sven Linker, Martin Hilscher
    Pages 231-248
  14. Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
    Pages 249-266
  15. Ling Luo, Zhenhua Duan
    Pages 267-281
  16. Härmel Nestra
    Pages 282-300
  17. Paritosh K. Pandya, Simoni S. Shah
    Pages 301-318
  18. Emil Sekerinski, Tian Zhang
    Pages 319-336
  19. Zhucheng Shao, Jing Liu
    Pages 337-354
  20. Yisong Wang, Jia-Huai You, Mingyi Zhang
    Pages 355-372
  21. Xinghua Yao, Min Zhang, Yixiang Chen
    Pages 391-408
  22. Steffen Ziegert, Christian Heinzemann
    Pages 427-444
  23. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013 held in Macau, China, in September 2013. The 22 revised full papers presented together with three keynote talks were carefully reviewed and selected from 64 submissions. The papers cover various topics related to both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Keywords

graph transformation hybrid automata model checking probabilistic logic program verification

Editors and affiliations

  • Zhiming Liu
    • 1
  • Jim Woodcock
    • 2
  • Huibiao Zhu
    • 3
  1. 1.International Institute for Software TechnologyUnited Nations UniversityMacauChina
  2. 2.Department of Computer ScienceUniversity of YorkYorkUK
  3. 3.Software Engineering InstituteEast China Normal UniversityShanghaiChina

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-39718-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39717-2
  • Online ISBN 978-3-642-39718-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace