37 Publications in the BRICS Report Series RS-95-3 RS-95-2 RS-95-1 Anna Ingólfsdóttir. A Semantic Theory for Value–Passing Processes, Late Approach, Part I: A Denotational Model and Its Complete Axiomatization (1995)

by Kim G Larsen Laroussinie, Carsten Weise