Ten Years of Concurrency Semantics
Jaco de Bakker, Jan Rutten · WORLD SCIENTIFIC eBooks · 1992
General techniques - processes and the denotational semantics of concurrency, J.W.de Bakker and J.I.Zucker solving reflexive domain equations in a category of complete metric spaces, P.America and J.Rutten a convergence theorem in process algebra, J.A.Bergstra and J.W.Klop semantics of parallel object-oriented languages - denotational semantics of a parallel object-oriented language, P.America et al semantics of parallel logic languages - from failure to success - comparing a denotational and a declarative semantics for horn clause logic, F.S. de Boer et al further topics - deriving denotational models for bisimulation from structured operational semantics, J.J.M.M.Rutten. (Part Contents)