TY - BOOK A1 - I. Guessarian )ed.( TI - Semantics of systems of concurrent processes: LITP Spring School on Theoretical Computer Science La Roche Posay, France, April 23-27, 1990: proceedings PB - کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان SN - 104739131 UR /book/104739131/Semantics-of-systems-of-concurrent-processes-LITP/ ER -