000 00546nam a2200193 4500
008 160616s1990 000 0
245 _aCONCUR '90
_bProceedings, Amsterdam, The Netherlands, 1990
100 _aBaeten, J C M. Ed.
100 _aKlop, J W. ed.
260 _aBerlin
260 _bSpringer Verlag
260 _c1990
300 _a536
440 _aLecture notes in computer science ; 00458
020 _a3540530487
650 _aTheories of Concurrency: Unification
_aExtension
942 _cBK
_2BK13859
080 _a681 LNCS
999 _c13859
_d13859