A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization (1995)

by Anna Ingólfsdóttir
Citations:11 - 4 self