Open menu
I. Guessarian
Algebraic Semantics
Semantics of Systems of Concurrent Processes Litp Spring School on Theoretical Computer Science, Laroche Posay, France, April 23-27, 1990)