Author: International Conference on Concurrency Theory (4th 1993 Hildesheim, Germany)