Full abstraction of a real-time denotational semantics for an OCCAM-like language

C. Huizing, R.T. Gerth, W.P. Roever, de

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

22 Citations (Scopus)
Original languageEnglish
Title of host publicationProceedings 14th Annual ACM Symposium on Principles of Programming Languages (POPL, Munich, Germany, January 21-23, 1987)
Place of PublicationNew York
PublisherAssociation for Computing Machinery, Inc
Pages223-237
ISBN (Print)0-89791-215-2
Publication statusPublished - 1987

Cite this

Huizing, C., Gerth, R. T., & Roever, de, W. P. (1987). Full abstraction of a real-time denotational semantics for an OCCAM-like language. In Proceedings 14th Annual ACM Symposium on Principles of Programming Languages (POPL, Munich, Germany, January 21-23, 1987) (pp. 223-237). Association for Computing Machinery, Inc.