Chris George. Applicative Modelling with RAISE. In Chris George, Zhiming Liu, Jim Woodcock, editors, Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures. Volume 4710 of Lecture Notes in Computer Science, pages 51-118, Springer, 2007. [doi]
Abstract is missing.