Semantics of systems of concurrent processes : proceedings - Guessarian I; Spring School on Theoretical Computer Science( 1990 : France ); Spring School on Theoretical Computer Science , France 1990 (Berlin Springer Verlag, 1990)
Keywords: Computer science; Distributed processing