[1988] Proceedings. Third Annual Symposium on Logic in Computer Science Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on. :133-141 1988
Concurrency, Graphs and Models ISBN: 9783540686767 Concurrency, Graphs and Models Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday), 747-756 STARTPAGE=747;ENDPAGE=756;TITLE=Concurrency, Graphs and Models (Essays dedicated to Ugo Montanari on the occasion of his 65th birthday)
Software, Services, and Systems ISBN: 9783319155449 Software, Services, and Systems Software, Services, and Systems: essays dedicated to Martin Wirsing on the occasion of his retirement from the Chair of Programming and Software Engineering, 46-61 STARTPAGE=46;ENDPAGE=61;TITLE=Software, Services, and Systems