TY - BOOK AU - Guessarian,I. ED - LITP Spring School on Theoretical Computer Science TI - Semantics of systems of concurrent processes: LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings SN - 3540534792 AV - QA76.7 S46 PY - 1990/// CY - Berlin PB - Springer-Verlag KW - Programming languages (Electronic computers) KW - Semantics KW - Congresses ER -