ICALP 2002 Satellite Workshops
Volume 66, Number 1, 2002
CCA 2002 Computability and Complexity in Analysis
Málaga, Spain, July 12-13, 2002
Peter Hertling:
A Comparison of Certain Representations of Regularly Closed Sets.
65-78
Matthias Schröder:
A Natural Weak Limit Space with Admissible Representation which is not a Limit Space.
165-175
Hideki Tsuiki:
Representations of Complete Uniform Spaces via Uniform Domains.
176-188
Volume 66, Number 2, 2002
FMICS'02 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems
University of Malaga, Spain, 12-13 July 2002
Xavier Thirioux:
Simple and Efficient Translation from LTL Formulas to Buchi Automata.
145-159
Volume 66, Number 3, 2002
F-WAN:
Foundations of Wide Area Network Computing
Málaga, Spain, 12-13 July 2002
Dominic Duggan:
Abstractions for Fault-Tolerant Global Computing.
116-144
Vladimiro Sassone:
Preface - F-WAN: Foundations of Wide Area Network Computing.
185-186
Volume 66, Number 4, 2002
Formal Methods and Component Interaction
Málaga, Spain, July 12, 2002
Claus Pahl:
A Formal Composition and Interaction Model for a Web Component Platform.
67-81
Volume 66, Number 5, 2002
UNCL'2002 Unification in Non-Classical Logics
Málaga, Spain, 12-13 July 2002
Temur Kutsia:
Pattern Unification with Sequence Variables, Flexible Arity Symbols.
52-69
Harry Virtanen:
Vague Domains, S-Unification, Logic Programming.
86-103
Volume 66, Number 6, 2002
ATMOS 2002 Algorithmic Methods and Models for Optimization of Railways
Málaga, Spain, 13 July 2002
Madhav V. Marathe:
Routing in Very Large Multi-Modal Time Dependent Networks: Theory and Practice (Invited Talk).
1-7
data released under the ODC-BY 1.0 license
