"concurrence." . . "Nebenläufigkeit." . . "théorie domaine." . . "Langages de programmation Sémantique Congrès." . . "programmation en logique." . . "Rex Workshop (1992.06.01-04 Beekbergen, Netherlands)" . . . "Programming Techniques." . . "Parallélisme (informatique) Congrès." . . "REX workshop, Beekbergen, 1992." . . . . . "sémantique opérationnelle." . . "théorie catégorie." . . "Project Research and Education in Concurrent Systems (Nederland)" . . "REX workshop (1992 : Beekbergen)" . . . "programmation fonctionnelle." . . "raffinement." . . "Programming Languages, Compilers, Interpreters." . . . . . . . . . "Conference papers and proceedings" . "Conference papers and proceedings"@en . . . "Semantics: foundations and applications : REX Workshop : Beekbergen, The Netherlands, June 1-4, 1992 : proceedings" . . . . "Semantics: foundations and applications REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, proceedings" . . "Semantics : foundations and applications ; REX Workshop, Beekbergen, The Netherlands, June 1 - 4, 1992 ; proceedings" . . . . . "Semantics: Foundations and Applications REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings" . . . . . . . . . . "\"Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement, weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme.\"--PUBLISHER'S WEBSITE." . . . . . . "Semantics: Foundations and applications : REX workshop, Berkbergen, The Netherlands, june 1-4, 1992, proceedings" . . "Electronic books"@en . . . . . "Semantics : foundations and applications : REX workshop : Beekbergen, The Netherlands, June 1-4, 1992 : proceedings" . . . . . . . . . . . . . "Semantics foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings"@en . "Semantics foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings" . "Researchers working on the semantics of programming languages came together in The Netherlands in June 1992 for a workshop on Semantics - Foundations and Applications. This volume is based on the meeting and contains material prepared by the lecturers after the meeting took place. The volume includes papers on a wide range of topics in both foundationsand applications, including: - Comparative domain theory, category theory, information systems, - Concurrency: process algebras, asynchronous communication, action semantics, trace nets, process refinement, concurrent constraint programming, - Predicate transformers, refinement, weakest preconditions, - Comparative semantics of programming concepts, full abstraction, - Reasoning about programs: total correctness, epistemic logic, - Logic programming, - Functional programming: sequentiality, integration with concurrency, applied structured operational semantics. The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored by the Netherlands NFI (NationaleFaciliteit Informatica) Programme."@en . . . . "Semantics: Foundations and Applications REX Workshop Beekbergen, The Netherlands, June 1-4, 1992 Proceedings" . . . . . . . . . "Semantics: foundations and applications : REX workshop, Beekbergen, The Netherlands, June 1-4, 1992 : proceedings" . . . . . . . . "Semantics: Foundations and Applications REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992. Proceedings" . . . . . . "Kongress" . . . . . "Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings" . . "Programozási nyelv szemantika." . . "REX Workshop (1992 : Beekbergen, Netherlands)" . . . "Logics and Meanings of Programs." . . "calcul prédicat." . . "Programmiersprache." . . "Research and Education in Concurrent Systems Workshop on Semantics - Foundations and Applications (1992) (Beekbergen)" . . . "Programming languages (Electronic computers) Semantics Congresses." . . "Lenguajes de programación Semántica." . . "Research and Education in Concurrent Systems Workshop (1992. Beekbergen, Holanda)" . . . "sémantique langage programmation." . . "Programmeertalen." . . "Workshop on \"Semantics - Foundations and Applications\" (1992 ; Beekbergen)" . . . "Elaboratori elettronici - Linguaggi - Semantica - Congressi - 1992." . . "Computer Science." . . "REX Workshop :" . . "Congressi - Beekbergen - 1992." . . "Semantiek." . . "système information." . . "Programming languages (Electronic computers) Semantics." . . "Semantik." . . "Langages de programmation." . . "Beekbergen <1992>" . . "langage de programmation sémantique [congrès]" . . "Software Engineering." . .