Model Theory for Process Algebra

Jan A. Bergstra, C. A. Middelburg. Model Theory for Process Algebra. In Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel C. de Vrijer, editors, Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday. Volume 3838 of Lecture Notes in Computer Science, pages 445-495, Springer, 2005. [doi]

Abstract

Abstract is missing.