Theoretical Computer Science and General Issues

Models, Algorithms, Logics and Tools

Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Editors: Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A., Mardare, R. (Eds.)

  • Contains papers dedicated to Kim Guldstrand Larsen
  • Features the broad range of Kim Guldstrand Larsen's research topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking
  • Addresses a large diversity of topics
see more benefits

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-319-63121-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 85,28 €
price for Spain (gross)
  • ISBN 978-3-319-63120-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This Festschrift is published in honor of Kim Guldstrand Larsen, one of the earliest precursors of computer science in Denmark, on the occasion of his 60th birthday. During the last three decades, Kim Guldstrand Larsen has given major contributions across a remarkably wide range of topics, including real-time, concurrent, and probabilistic models of computation, logic in computer science, and model checking. Since 1995, he has been one of the prime movers behind the model checking tool for real-time systems UPPAAL, for which he was a co-recipient of the CAV Award in 2013.

The Festschrift contains 32 papers that feature the broad range of Kim Guldstrand Larsen's research topics, such as formal languages and automata theory; logic; verification, model checking and testing; algorithmic game theory and mechanism design; semantics and reasoning; real-time and distributed systems; and modeling and simulation.

Table of contents (32 chapters)

  • Information Flow for Timed Automata

    Nielson, Flemming (et al.)

    Pages 3-21

    Preview Buy Chapter 30,19 €
  • A Nivat Theorem for Quantitative Automata on Unranked Trees

    Droste, Manfred (et al.)

    Pages 22-35

    Preview Buy Chapter 30,19 €
  • 30 Years of Modal Transition Systems: Survey of Extensions and Analysis

    Křetínský, Jan

    Pages 36-74

    Preview Buy Chapter 30,19 €
  • Derivatives of Quantitative Regular Expressions

    Alur, Rajeev (et al.)

    Pages 75-95

    Preview Buy Chapter 30,19 €
  • Improving the Timed Automata Approach to Biological Pathway Dynamics

    Langerak, Rom (et al.)

    Pages 96-111

    Preview Buy Chapter 30,19 €

Buy this book

eBook 67,82 €
price for Spain (gross)
  • ISBN 978-3-319-63121-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 85,28 €
price for Spain (gross)
  • ISBN 978-3-319-63120-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Models, Algorithms, Logics and Tools
Book Subtitle
Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
Editors
  • Luca Aceto
  • Giorgio Bacci
  • Giovanni Bacci
  • Anna Ingólfsdóttir
  • Axel Legay
  • Radu Mardare
Series Title
Theoretical Computer Science and General Issues
Series Volume
10460
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-63121-9
DOI
10.1007/978-3-319-63121-9
Softcover ISBN
978-3-319-63120-2
Edition Number
1
Number of Pages
XVII, 662
Number of Illustrations and Tables
184 b/w illustrations
Topics