1994
Fully abstract denotational models for nonuniform concurrent languages
Publication
Publication
Information and Computation , Volume 115 - Issue 1 p. 125- 178
Additional Metadata | |
---|---|
, | |
Academic Press | |
Information and Computation | |
Organisation | Computer Security |
Horita, E., de Bakker, J., & Rutten, J. (1994). Fully abstract denotational models for nonuniform concurrent languages. Information and Computation, 115(1), 125–178. |