{"product_id":"parle-91-parallel-architectures-and-languages-europe-volume-ii-parallel-languages-eindhoven-the-netherlands-june-10-13-1991-proceedings-von-emile-h-l-aarts-jan-van-leeuwen-martin-rem-hrsg","title":"PARLE '91. Parallel Architectures and Languages Europe","description":"\u003cp\u003eLoosely-coupled processes (preliminary version).- Rendez-vous with metric semantics.- Embeddings among concurrent programming languages.- Invariants and paradigms of concurrency theory.- Acceptance Automata: A framework for specifying and verifying TCSP parallel systems.- Models for dynamically placed concurrent processes.- Formalisation of the behavior of actors by colored Petri nets and some applications.- Program refinement in fair transition systems.- Communication abstraction and refinement.- On the semantics of languages for massively parallel SIMD architectures.- A denotational real-time semantics for shared processors.- Concurrent clean.- The scriptic programming language.- Structural operational semantics for Kernel Andorra Prolog.- Customization of first-class tuple-spaces in a higher-order language.- A formal specification of the process trellis.- Strong bisimilarity on nets revisited.- A configuration approach to parallel programming.- Chaotic linear system solvers in a variable-grain data-driven multiprocessor system.- Parallel associative combinator evaluation.- Static analysis of term graph rewriting systems.- Scheduling of OR-parallel Prolog on a scalable, reconfigurable, distributed-memory multiprocessor.- Flexible scheduling of or-parallelism in Aurora: The Bristol scheduler.- Virtual memory support for OR-parallel logic programming systems.- Interfacing engines and schedulers in Or-Parallel Prolog systems.- Reduction of code space in parallel logic programming systems.- Search level parallel processing of production systems.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540541523\"\u003e\u003ch3\u003eVolume II: Parallel Languages. Eindhoven, The Netherlands, June 10-13, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540541523","offer_id":39427705569373,"sku":"9783540541523","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/57bd818a-b6bc-4be1-9c94-271baa963e9d.jpg?v=1782450271","url":"https:\/\/shop.autorenwelt.de\/products\/parle-91-parallel-architectures-and-languages-europe-volume-ii-parallel-languages-eindhoven-the-netherlands-june-10-13-1991-proceedings-von-emile-h-l-aarts-jan-van-leeuwen-martin-rem-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}