@incollection{Immerman/98,
AUTHOR = {Immerman, Neil},
TITLE = {Descriptive complexity and model checking},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {1-5},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Guttmann-Beck-Hassin-Khuller-Raghavachari/98,
AUTHOR = {Guttmann-Beck, Nili and Hassin, Refael and Khuller, Samir and Raghavachari, Balaji},
TITLE = {Approximation algorithms with bounded performance guarantees for the clustered traveling salesman problem},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {6-17},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Fotakis-Spirakis/98,
AUTHOR = {Fotakis, Dimitris A. and Spirakis, Paul G.},
TITLE = {A Hamiltonian approach to the assignment of non-reusable frequencies},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {18-29},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lavatelli/98,
AUTHOR = {Lavatelli, Carolina},
TITLE = {Deadlock sensitive types for lambda calculus with resources},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {30-41},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Quaglia-Walker/98,
AUTHOR = {Quaglia, Paola and Walker, David},
TITLE = {On encoding $p\pi$ in $m\pi$},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {42-53},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Guha-Khuller/98a,
AUTHOR = {Guha, Sudipto and Khuller, Samir},
TITLE = {Improved methods for approximating node weighted Steiner trees and connected dominating sets},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {54-65},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kallahalla-Varman/98a,
AUTHOR = {Kallahalla, Mahesh and Varman, Peter J.},
TITLE = {Red-black prefetching: An approximation algorithm for parallel disk scheduling},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {66-77},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Talpin-Nowak/98,
AUTHOR = {Talpin, Jean-Pierre and Nowak, David},
TITLE = {A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {78-89},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Castellani-Hennessy/98,
AUTHOR = {Castellani, Ilaria and Hennessy, Matthew},
TITLE = {Testing theories for asynchronous languages},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {90-101},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Reif/98,
AUTHOR = {Reif, John H.},
TITLE = {Alternative computational models: A comparison of biomolecular and quantum computation},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {102-121},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Madhavan-Shankar/98,
AUTHOR = {Madhavan, Maya and Shankar, Priti},
TITLE = {Optimal regular tree pattern matching using pushdown automata},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {122-133},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Neumann-Seidl/98,
AUTHOR = {Neumann, Andreas and Seidl, Helmut},
TITLE = {Locating matches of tree patterns in forests},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {134-145},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kuhnemann/98,
AUTHOR = {K{\"u}hnemann, Armin},
TITLE = {Benefits of tree transducers for optimizing functional programs},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {146-157},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Garg-Mitchell/98,
AUTHOR = {Garg, Vijay K. and Mitchell, J. Roger},
TITLE = {Implementable failure detectors in asynchronous systems},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {158-169},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Schmidt/98,
AUTHOR = {Schmidt, Erik Meineche},
TITLE = {BRICS and quantum information processing},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {170-173},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Dubhashi/98a,
AUTHOR = {Dubhashi, Devdatt P.},
TITLE = {Martingales and locality in distributed computing},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {174-185},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Munro-Raman-Srinivasa_Rao/98,
AUTHOR = {Munro, Ian and Raman, Venkatesh and Srinivasa Rao, S.},
TITLE = {Space efficient suffix trees},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {186-196},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pendharkar-Gopinath/98,
AUTHOR = {Pendharkar, N.S. and Gopinath, K.},
TITLE = {Formal verification of an O.S. submodule},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {197-208},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Narayan_Kumar-Cleaveland-Smolka/98,
AUTHOR = {Narayan Kumar, K. and Cleaveland, Rance and Smolka, Scott A.},
TITLE = {Infinite probabilistic and nonprobabilistic testing},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {209-220},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Kalyana_Rama_Prasad-Sreenivasa_Kumar/98,
AUTHOR = {Kalyana Rama Prasad, N. and Sreenivasa Kumar, P.},
TITLE = {On generating strong elimination orderings of strongly chordal graphs},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {221-232},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Gudmundsson-Levcopoulos/98,
AUTHOR = {Gudmundsson, Joachim and Levcopoulos, Christos},
TITLE = {A parallel approximation algorithm for minimum weight triangulation},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {233-244},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Aceto-Bouyer-Burgueno-Larsen/98,
AUTHOR = {Aceto, Luca and Bouyer, Patricia and Burgue{\~{n}}o, Augusto and Larsen, Kim G.},
TITLE = {The power of reachability testing for timed automata},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {245-256},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Pandya-Ramakrishna/98,
AUTHOR = {Pandya, Paritosh K. and Ramakrishna, Y.S.},
TITLE = {Recursive mean-value calculus},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {257-268},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Alur/98,
AUTHOR = {Alur, Rajeev},
TITLE = {Efficient formal verification of hierarchical descriptions},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {269-269},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{McMillan/98,
AUTHOR = {McMillan, K.L.},
TITLE = {Proof rules for model checking systems with data},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {270-270},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Huhn-Niebert-Wehrheim/98,
AUTHOR = {Huhn, Michaela and Niebert, Peter and Wehrheim, Heike},
TITLE = {Partial order reductions for bisimulation checking},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {271-282},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Bohn-Damm-Grumberg-Hungar-Laster/98,
AUTHOR = {Bohn, J{\"u}rgen and Damm, Werner and Grumberg, Orna and Hungar, Hardi and Laster, Karen},
TITLE = {First-order-CTL model checking},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {283-294},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lozano-Raghavan/98,
AUTHOR = {Lozano, Antoni and Raghavan, Vijay},
TITLE = {On the complexity of counting the number of vertices moved by graph automorphisms},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {295-306},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lokam/98,
AUTHOR = {Lokam, Satyanarayana V.},
TITLE = {Remarks on graph complexity},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {307-318},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lohrey/98,
AUTHOR = {Lohrey, Markus},
TITLE = {On the confluence of trace rewriting systems},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {319-330},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Calbrix-Knapik/98a,
AUTHOR = {Calbrix, Hugues and Knapik, Teodor},
TITLE = {A string-rewriting characterization of Muller and Schupp's context-free graphs},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {331-342},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Jancar-Mraz-Vogel/98,
AUTHOR = {Jan{\v{c}}ar, Petr and Mr{\'{a}}z, Franti{\v{s}}ek and Vogel, Martin Pl{\'{a}}tek abd J{\"o}rg},
TITLE = {Different types of monotonicity for restarting automata},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {343-354},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Lodaya-Weil/98a,
AUTHOR = {Lodaya, Kamal and Weil, Pascal},
TITLE = {A Kleene iteration for parallelism},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {355-366},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}
@incollection{Vazirani/98a,
AUTHOR = {Vazirani, Umesh},
TITLE = {Quantum computation and information},
BOOKTITLE = {Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98 (Chennai, India, December 17-19, 1998)},
SERIES = {LNCS},
VOLUME = {1530},
PAGES = {367-367},
YEAR = {1998},
EDITOR = {Arvind, V. and Ramanujam, R.},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-Barcelona-Hong Kong-London-Milan-Paris-Singapore-Tokyo},
}