Semantics of Systems of Concurrent Processes: LITP Spring School on Theoritical Computer Science La Roche Posay, France, April 1990 Proceedings: AISB ... Notes in Computer Science, 993, Band 993)
Ein kompakter Leitfaden aus La Roche Posay 1990, der die Semantik von parallelen Prozessen in theoretischer Informatik beleuchtet und praktische Model ...