{"product_id":"semantics-foundations-and-applications-rex-workshop-beekbergen-the-netherlands-june-1-4-1992-proceedings-von-j-w-de-bakker-w-p-de-roever-g-rozenberg-hrsg","title":"Semantics: Foundations and Applications","description":"Researchers working on the semantics of programming\nlanguages came together in The Netherlands in June 1992 for\na workshop on Semantics - Foundations   and Applications. This\nvolume is based on the meeting and contains          material\nprepared by the lecturers after the meeting took place.            The\nvolume includes papers on a wide range of topics in both\nfoundationsand applications, including:\n- Comparative domain theory, category theory,  information\nsystems,\n- Concurrency: process algebras, asynchronous      communication,\naction semantics, trace nets, process refinement,            concurrent\nconstraint programming,\n- Predicate transformers, refinement,weakest preconditions,\n- Comparative semantics of programming concepts,     full\nabstraction,\n- Reasoning about programs: total correctness,        epistemic\nlogic,\n- Logic programming,\n- Functional programming:     sequentiality, integration with\nconcurrency, applied structured operational semantics.\nThe workshop was an activity of the project REX (Research\nandEducation in Concurrent Systems) sponsored by the\nNetherlands NFI (NationaleFaciliteit Informatica)\nProgramme.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540565963\"\u003e\u003ch3\u003eREX Workshop, Beekbergen, The Netherlands, June 1-4, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540565963","offer_id":39425538588765,"sku":"9783540565963","price":106.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ae22727d-537a-42e9-ba6a-6a89dc23e6bf.jpg?v=1773553158","url":"https:\/\/shop.autorenwelt.de\/products\/semantics-foundations-and-applications-rex-workshop-beekbergen-the-netherlands-june-1-4-1992-proceedings-von-j-w-de-bakker-w-p-de-roever-g-rozenberg-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}