"Axiomatic Frameworks for Developing Bsp-style Programs*."

Alan Stewart, Maurice Clint, Joaquim Gabarró (2000)

Details and statistics

DOI: 10.1080/10637199808947391

access: closed

type: Journal Article

metadata version: 2017-05-20

a service of  Schloss Dagstuhl - Leibniz Center for Informatics