Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing -- ICTAC 2013

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Zhiming Liu

    1. International Institute for Software Technology, United Nations University, Macau, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Woodcock

    1. Department of Computer Science, University of York, York, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Huibiao Zhu

    1. Software Engineering Institute, East China Normal University, Shanghai, China

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ICTAC 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Stochastic Pi-calculus Revisited

    • Luca Cardelli, Radu Mardare
    Pages 1-21

  3. A Clock-Based Framework for Construction of Hybrid Systems

    • He Jifeng
    Pages 22-41

  4. Advances in Quantitative Verification for Ubiquitous Computing

    • Marta Kwiatkowska
    Pages 42-58

  5. Mobile Membranes: Computability and Complexity

    • Bogdan Aman, Gabriel Ciobanu
    Pages 59-75

  6. Cruise Control in Hybrid Event-B

    • Richard Banach, Michael Butler
    Pages 76-93

  7. From Distributions to Probabilistic Reactive Programs

    • Riccardo Bresciani, Andrew Butterfield
    Pages 94-111

  8. hol-TestGen/fw

    • Achim D. Brucker, Lukas Brügger, Burkhart Wolff
    Pages 112-121

  9. Random Walks on Some Basic Classes of Digraphs

    • Wen-Ju Cheng, Jim Cox, Stathis Zachos
    Pages 122-140

  10. A Probabilistic Logic for pTiMo

    • Gabriel Ciobanu, Armand Rotaru
    Pages 141-158

  11. An Interface Model of Software Components

    • Ruzhen Dong, Naijun Zhan, Liang Zhao
    Pages 159-176

  12. A High-Level Semantics for Program Execution under Total Store Order Memory

    • Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
    Pages 177-194

  13. Preemptive Type Checking in Dynamically Typed Languages

    • Neville Grech, Julian Rathke, Bernd Fischer
    Pages 195-212

  14. On Refinements of Boolean and Parametric Modal Transition Systems

    • Jan KÅ™etínský, Salomon Sickert
    Pages 213-230

  15. Proof Theory of a Multi-Lane Spatial Logic

    • Sven Linker, Martin Hilscher
    Pages 231-248

  16. Counterexample-Preserving Reduction for Symbolic Model Checking

    • Wanwei Liu, Rui Wang, Xianjin Fu, Ji Wang, Wei Dong, Xiaoguang Mao
    Pages 249-266

  17. A Transformation from p-Ï€ to MSVL

    • Ling Luo, Zhenhua Duan
    Pages 267-281

  18. On Slicing of Programs with Input Statements

    • Härmel Nestra
    Pages 282-300

  19. Deterministic Logics for UL

    • Paritosh K. Pandya, Simoni S. Shah
    Pages 301-318

  20. Finitary Fairness in Action Systems

    • Emil Sekerinski, Tian Zhang
    Pages 319-336
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2013

Keywords

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.

Editors and Affiliations

  • International Institute for Software Technology, United Nations University, Macau, China

    Zhiming Liu

  • Department of Computer Science, University of York, York, UK

    Jim Woodcock

  • Software Engineering Institute, East China Normal University, Shanghai, China

    Huibiao Zhu

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: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-39718-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-39717-2Published: 15 July 2013

  • eBook ISBN: 978-3-642-39718-9Published: 30 August 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 445

  • Number of Illustrations: 100 b/w illustrations

  • Topics: Logics and Meanings of Programs, Software Engineering, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation