Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings

Front Matter ....Pages i-xvi
Front Matter ....Pages 1-1
 A Flight Rule Checker for the LADEE Lunar Spacecraft  (Elif Kurklu, Klaus Havelund)....Pages 3-20
Front Matter ....Pages 21-21
 Proof-Theoretic Conservative Extension of HOL with Ad-hoc Overloading  (Arve Gengelbach, Tjark Weber)....Pages 23-42
 A Myhill-Nerode Theorem for Register Automata and Symbolic Trace Languages  (Frits Vaandrager, Abhisek Midya)....Pages 43-63
 CiMPG+F: A Proof Generator and Fixer-Upper for CafeOBJ Specifications  (Adrián Riesco, Kazuhiro Ogata)....Pages 64-82
 Statistical Analysis of Non-deterministic Fork-Join Processes  (Antoine Genitrini, Martin Pépin, Frédéric Peschanski)....Pages 83-102
 On Two Characterizations of Feature Models  (Ferruccio Damiani, Michael Lienhardt, Luca Paolini)....Pages 103-122
 The Complexity of Boolean State Separation  (Ronny Tredup, Evgeny Erofeev)....Pages 123-142
 Occupancy Number Restricted Boolean Petri Net Synthesis: A Fixed-Parameter Algorithm  (Evgeny Erofeev, Ronny Tredup)....Pages 143-160
 Star-Freeness, First-Order Definability and Aperiodicity of Structured Context-Free Languages  (Dino Mandrioli, Matteo Pradella, Stefano Crespi Reghizzi)....Pages 161-180
 Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms  (Mohsen Safari, Marieke Huisman)....Pages 181-199
 Compositionality of Safe Communication in Systems of Team Automata  (Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn)....Pages 200-220
 Analysis of Bayesian Networks via Prob-Solvable Loops  (Ezio Bartocci, Laura Kovács, Miroslav Stankovič)....Pages 221-241
 Semantics of a Relational \\(\\lambda \\)-Calculus  (Pablo Barenbaum, Federico Lochbaum, Mariana Milicich)....Pages 242-261
 Implementing Hybrid Semantics: From Functional to Imperative  (Sergey Goncharov, Renato Neves, José Proença)....Pages 262-282
 Implementation Correctness for Replicated Data Types, Categorically  (Fabio Gadducci, Hernán Melgratti, Christian Roldán, Matteo Sammartino)....Pages 283-303
Front Matter ....Pages 305-305
 Qsimulation V2.0: An Optimized Quantum Simulator  (Hua Wu, Yuxin Deng, Ming Xu, Wenjie Du)....Pages 307-316
Back Matter ....Pages 317-317