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
ISBN (Print)0-89791-215-2
Publication statusPublished - 1987

Cite this