00741cam a2200169 a 450000500170000000800410001702000150005803500150007305000160008824501840010426000370028830000110032544000490033665000720038570000250045771100890048220260818213719.0060905s1990    gw      r     000|0 eng d  a3540534792  a.b10595417 4aQA76.7bS4600aSemantics of systems of concurrent processes :bLITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings /cI. Guessarian, (ed.)  aBerlin :bSpringer-Verlag,c1990  a456 p. 0aLecture notes in computer science ;vno. 469 0aProgramming languages (Electronic computers)xSemanticsvCongresses1 aGuessarian, I.,eed.2 aLITP Spring School on Theoretical Computer Scienced(1990 :cLa Roche Posay, France)