CONCUR '91: 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings: 527 (Lecture Notes in Computer Science)
by Jan F. Groote,Jos C.M. Baeten
ISBN 13: 9783540544302
Format: Paperback (560 pages) Publisher: Springer Published: 14 Aug 1991
Save for later
Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The ... (Lecture Notes in Computer Science)
by Jan F. Groote,Marc Bezem
ISBN 13: 9783540565178
Format: Paperback (452 pages) Publisher: Springer Published: 13 Jun 2008