Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990) (Lecture Notes in Computer Science)