Leram - CONCUR '94: Concurrency Theory : 5th International Conference, Uppsala, Sweden, August 22 - 25, 1994. Proceedings