-K. Kanchanasut/J.-J. Levy (Eds.): Algorithms, Concurrency and Knowledge, Springer-Verlag Proceedings 1995