Skip to main content
SpringerLink
Log in

Theoretical Aspects of Computing – ICTAC 2020

17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Violet Ka I Pun

    1. Western Norway University of Applied Sciences, Bergen, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Volker Stolz

    1. Western Norway University of Applied Sciences, Bergen, Norway

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Adenilso Simao

    1. Federal University of Sao Carlos, Sao Carlos, Brazil

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ICTAC 2020.

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 EPUB and 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 (16 papers)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Keynote Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A Flight Rule Checker for the LADEE Lunar Spacecraft

      • Elif Kurklu, Klaus Havelund
      Pages 3-20

  3. Regular Papers

    1. Front Matter

      Pages 21-21
      Download chapter PDF

    2. Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading

      • Arve Gengelbach, Tjark Weber
      Pages 23-42

    3. A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages

      • Frits Vaandrager, Abhisek Midya
      Pages 43-63

    4. CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications

      • Adrián Riesco, Kazuhiro Ogata
      Pages 64-82

    5. Statistical Analysis of Non-deterministic Fork-Join Processes

      • Antoine Genitrini, Martin Pépin, Frédéric Peschanski
      Pages 83-102

    6. On Two Characterizations of Feature Models

      • Ferruccio Damiani, Michael Lienhardt, Luca Paolini
      Pages 103-122

    7. The Complexity of Boolean State Separation

      • Ronny Tredup, Evgeny Erofeev
      Pages 123-142

    8. Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm

      • Evgeny Erofeev, Ronny Tredup
      Pages 143-160

    9. Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages

      • Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi
      Pages 161-180

    10. Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms

      • Mohsen Safari, Marieke Huisman
      Pages 181-199

    11. Compositionality of Safe Communication in Systems of Team Automata

      • Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
      Pages 200-220

    12. Analysis of Bayesian Networks via Prob-Solvable Loops

      • Ezio Bartocci, Laura Kovács, Miroslav Stankovič
      Pages 221-241

    13. Semantics of a Relational \(\lambda \)-Calculus

      • Pablo Barenbaum, Federico Lochbaum, Mariana Milicich
      Pages 242-261

    14. Implementing Hybrid Semantics: From Functional to Imperative

      • Sergey Goncharov, Renato Neves, José Proença
      Pages 262-282

    15. Implementation Correctness for Replicated Data Types, Categorically

      • Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino
      Pages 283-303

  4. Tool Paper

    1. Front Matter

      Pages 305-305
      Download chapter PDF

    2. Qsimulation V2.0: An Optimized Quantum Simulator

      • Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du
      Pages 307-316
Back to top

Other volumes

  1. Theoretical Aspects of Computing – ICTAC 2020

Keywords

About this book

This book constitutes the proceedings of the 17th  International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. 
The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.

Editors and Affiliations

  • Western Norway University of Applied Sciences, Bergen, Norway

    Violet Ka I Pun, Volker Stolz

  • Federal University of Sao Carlos, Sao Carlos, Brazil

    Adenilso Simao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation