Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings / I. Guessarian (ed.). (Lecture notes in computer science)
Semantics of systems of concurrent processes : LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990 : proceedings / I. Guessarian (ed.).
(Lecture notes in computer science)
国立国会図書館請求記号
M15-A7227
国立国会図書館書誌ID
000003194273
資料種別
図書
著者
Ecole de printemps d'informatique théorique (1990 : La Roche-Posay, France)ほか
"The School was organized jointly by the LITP (Laboratoire d'informatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en i...
"The School was organized jointly by the LITP (Laboratoire d'informatique théorique et programmation, Paris) and IRIT (Institut pour la recherche en informatique de Toulouse) "--Foreword.