Theoretical Computer Science and General Issues

Theoretical Aspects of Computing -- ICTAC 2013

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

Editors: Liu, Zhiming, Woodcock, Jim, Zhu, Huibiao (Eds.)

  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-39718-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-39717-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (25 chapters)

  • Stochastic Pi-calculus Revisited

    Cardelli, Luca (et al.)

    Pages 1-21

  • A Clock-Based Framework for Construction of Hybrid Systems

    Jifeng, He

    Pages 22-41

  • Advances in Quantitative Verification for Ubiquitous Computing

    Kwiatkowska, Marta

    Pages 42-58

  • Mobile Membranes: Computability and Complexity

    Aman, Bogdan (et al.)

    Pages 59-75

  • Cruise Control in Hybrid Event-B

    Banach, Richard (et al.)

    Pages 76-93

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-39718-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $95.00
price for USA
  • ISBN 978-3-642-39717-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Aspects of Computing -- ICTAC 2013
Book Subtitle
10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings
Editors
  • Zhiming Liu
  • Jim Woodcock
  • Huibiao Zhu
Series Title
Theoretical Computer Science and General Issues
Series Volume
8049
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-39718-9
DOI
10.1007/978-3-642-39718-9
Softcover ISBN
978-3-642-39717-2
Edition Number
1
Number of Pages
XII, 445
Number of Illustrations and Tables
100 b/w illustrations
Topics