Theoretical Aspects of Computing – ICTAC 2015: 12th International Colloquium Cali, Colombia, October 29–31, 2015, Proceedings

Front Matter....Pages -
Front Matter....Pages 1-1
An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem....Pages 3-27
Location Privacy via Geo-Indistinguishability....Pages 28-38
A Note on Monitors and Büchi Automata....Pages 39-57
Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture)....Pages 58-62
The Proof Technique of Unique Solutions of Contractions....Pages 63-68
On Probabilistic Distributed Strategies....Pages 69-88
Front Matter....Pages 89-89
Newton Series, Coinductively....Pages 91-109
Quotienting the Delay Monad by Weak Bisimilarity....Pages 110-125
Inverse Monoids of Higher-Dimensional Strings....Pages 126-143
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic....Pages 144-161
Front Matter....Pages 163-163
Learning Register Automata with Fresh Value Generation....Pages 165-183
Modeling Product Lines with Kripke Structures and Modal Logic....Pages 184-202
Deterministic Regular Expressions with Interleaving....Pages 203-220
Front Matter....Pages 221-221
Rigid Families for CCS and the π-calculus....Pages 223-240
Quotients of Unbounded Parallelism....Pages 241-257
Higher-Order Dynamics in Event Structures....Pages 258-271
Asynchronous Announcements in a Public Channel....Pages 272-289
A Totally Distributed Fair Scheduler for Population Protocols by Randomized Handshakes....Pages 290-306
Front Matter....Pages 307-307
Extending the Notion of Preferred Explanations for Quantified Constraint Satisfaction Problems....Pages 309-327
A Graphical Theorem of the Alternative for UTVPI Constraints....Pages 328-345
Front Matter....Pages 347-347
Converging from Branching to Linear Metrics on Markov Chains....Pages 349-367
MSO Logic and the Partial Order Semantics of Place/Transition-Nets....Pages 368-387
A Resource Aware Computational Interpretation for Herbelin’s Syntax....Pages 388-403
Undecidability Results for Multi-Lane Spatial Logic....Pages 404-421
Front Matter....Pages 423-423
Aspect-Oriented Development of Trustworthy Component-based Systems....Pages 425-444
A Game of Attribute Decomposition for Software Architecture Design....Pages 445-463
Multi-rate System Design Through Integrating Synchronous Components....Pages 464-482
Front Matter....Pages 483-483
Verifying Android’s Permission Model....Pages 485-504
CSP and Kripke Structures....Pages 505-523
Specifying and Analyzing the Kademlia Protocol in Maude....Pages 524-541
Enforcement of (Timed) Properties with Uncontrollable Events....Pages 542-560
Front Matter....Pages 561-561
A Tool Prototype for Model-Based Testing of Cyber-Physical Systems....Pages 563-572
CAAL: Concurrency Workbench, Aalborg Edition....Pages 573-582
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games....Pages 583-594
Front Matter....Pages 595-595
A Mathematical Game Semantics of Concurrency and Nondeterminism....Pages 597-607
First Steps Towards Cumulative Inductive Types in CIC....Pages 608-617
Back Matter....Pages -