5. IFIP TCS 2008: Milano, Italy
Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy
Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, C.-H. Luke Ong
Springer, IFIP 273, ISBN: 978-0-387-09679-7
Contents
Track A
Invited talks
Ambiguity and Complementation in Recognizable Two-dimensional Languages.
Dora Giammarresi, Antonio Restivo
5-20
Contributed talks
Leader Election in Anonymous Rings: Franklin Goes Probabilistic.
Rena Bakhshi, Wan Fokkink, Jun Pang, Jaco van de Pol
57-72
Reconstructing words from a fixed palindromic length sequence.
Alexandre Blondin Massé, Srecko Brlek, Andrea Frosini, Sébastien Labbé, Simone Rinaldi
101-114
Olivier Cogis, Benoît Darties, Sylvain Durand, Jean-Claude König, Geneviève Simonet
115-126
On the Longest Common Factor Problem.
Maxime Crochemore, Alessandra Gabriele, Filippo Mignosi, Mauriana Pesaresi
143-155
On the expressive power of univariate equations over sets of natural numbers.
Alexander Okhotin, Panos Rondogiannis
215-227
Collisions and their Catenations: Ultimately Periodic Tilings of the Plane.
Nicolas Ollinger, Gaétan Richard
229-240
Track B
Invited talks
Contributed talks
Lifting Non-Finite Axiomatizability Results to Extensions of Process Algebras.
Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Mohammad Reza Mousavi
301-316
Finite Equational Bases for Fragments of CCS with Restriction and Relabelling.
Luca Aceto, Anna Ingólfsdóttir, Bas Luttik, Paul van Tilburg
317-332
µ-calculus Pushdown Module Checking with Imperfect State Information.
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre
333-348
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub
349-365
Universal Coinductive Characterisations of Process Semantics.
David de Frutos-Escrig, Carlos Gregorio-Rodríguez
397-412
Static and dynamic typing for the termination of mobile processes.
Romain Demangeon, Daniel Hirschkoff, Davide Sangiorgi
413-427
Marking the chops: an unambiguous temporal logic.
Kamal Lodaya, Paritosh K. Pandya, Simoni S. Shah
461-476
Adequacy of Compositional Translations for Observational Semantics.
Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel
521-535
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen
537-553