"Fully Abstract Denotational Models for Nonuniform Concurrent Languages"

Eiichi Horita, J. W. de Bakker, Jan J. M. M. Rutten (1994)

Details and statistics

DOI: 10.1006/INCO.1994.1095

access: open

type: Journal Article

metadata version: 2021-02-12

a service of  Schloss Dagstuhl - Leibniz Center for Informatics