6. ICTAC 2009:
Kuala Lumpur,
Malaysia
Martin Leucker, Carroll Morgan (Eds.):
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings.
Lecture Notes in Computer Science 5684 Springer 2009, ISBN 978-3-642-03465-7 
Invited Papers
Full Research Papers
- Massimo Bartoletti, Pierpaolo Degano, Gian Luigi Ferrari, Roberto Zunino:
nu-Types for Effects and Freshness Analysis.
80-95
- Andreas Bauer, Rajeev Goré, Alwen Tiu:
A First-Order Policy Language for History-Based Transaction Monitoring.
96-111
- Nikola Benes, Jan Kretínský, Kim Guldstrand Larsen, Jirí Srba:
Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete.
112-126
- Jan A. Bergstra, C. A. Middelburg:
Transmission Protocols for Instruction Streams.
127-139
- Gérard Boudol:
A Deadlock-Free Semantics for Shared Memory Concurrency.
140-154
- Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication.
155-169
- Volker Diekert, Steffen Kopecki, Victor Mitrana:
On the Hairpin Completion of Regular Languages.
170-184
- Zoltán Ésik, Szabolcs Iván:
Context-Free Languages of Countable Words.
185-199
- Stephen Fenech, Gordon J. Pace, Gerardo Schneider:
Automatic Conflict Detection on Contracts.
200-214
- Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel:
A Sound Observational Semantics for Modal Transition Systems.
215-230
- Dag Hovland:
Regular Expressions with Numerical Constraints and Automata with Counters.
231-245
- Lakshmanan Kuppusamy, Kamala Krithivasan:
On the Relative Expressive Power of Contextual Grammars with Maximal and Depth-First Derivations.
246-260
- Delphine Longuet, Marc Aiguier:
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
261-276
- Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama:
A Minimized Assumption Generation Method for Component-Based Software Verification.
277-291
- Pablo Rabanal, Ismael Rodríguez, Fernando Rubio:
A Formal Approach to Heuristically Test Restorable Systems.
292-306
- Tayssir Touili:
Constrained Reachability of Process Rewrite Systems.
307-321
- Margus Veanes, Nikolaj Bjørner:
Input-Output Model Programs.
322-335
Tool Papers
Copyright © Mon Nov 2 20:48:11 2009
by Michael Ley (ley@uni-trier.de)
