A word in response to the corona virus crisis: Your print orders will be fulfilled, even in these challenging times. If you don’t want to wait – have a look at our ebook offers and start reading immediately.

Theoretical Computer Science and General Issues

Theoretical Aspects of Computing – ICTAC 2019

16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings

Editors: Hierons, Rob, Mosbah, Mohamed (Eds.)

Free Preview

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-030-32505-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA
  • ISBN 978-3-030-32504-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.
The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.
The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages. 

Table of contents (22 chapters)

Table of contents (22 chapters)
  • Calculational Design of a Regular Model Checker by Abstract Interpretation

    Pages 3-21

    Cousot, Patrick

  • Verification by Construction of Distributed Algorithms

    Pages 22-38

    Méry, Dominique

  • The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism

    Pages 41-58

    Sharma, Arpit

  • Computing Branching Distances Using Quantitative Games

    Pages 59-75

    Fahrenberg, Uli (et al.)

  • Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems

    Pages 76-90

    Latreche, Fateh (et al.)

Buy this book

eBook $59.99
price for USA (gross)
  • ISBN 978-3-030-32505-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $79.99
price for USA
  • ISBN 978-3-030-32504-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Services for this book

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theoretical Aspects of Computing – ICTAC 2019
Book Subtitle
16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings
Editors
  • Rob Hierons
  • Mohamed Mosbah
Series Title
Theoretical Computer Science and General Issues
Series Volume
11884
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-32505-3
DOI
10.1007/978-3-030-32505-3
Softcover ISBN
978-3-030-32504-6
Edition Number
1
Number of Pages
XI, 411
Number of Illustrations
1540 b/w illustrations, 379 illustrations in colour
Topics