Theory and Practice of Action Semantics

Peter D. Mosses. Theory and Practice of Action Semantics. In Wojciech Penczek, Andrzej Szalas, editors, Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS 96, Cracow, Poland, September 2-6, 1996, Proceedings. Volume 1113 of Lecture Notes in Computer Science, pages 37-61, Springer, 1996.

Abstract

Abstract is missing.