Comparative Transition System Semantics

Tim Fernando. Comparative Transition System Semantics. In Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter, editors, Computer Science Logic, 6th Workshop, CSL 92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers. Volume 702 of Lecture Notes in Computer Science, pages 149-166, Springer, 1992.

Authors

Tim Fernando

This author has not been identified. Look up 'Tim Fernando' in Google