{"product_id":"object-based-concurrent-computing-ecoop-91-workshop-geneva-switzerland-july-15-16-1991-proceedings-von-oscar-nierstrasz-mario-tokoro-peter-wegner-hrsg","title":"Object-Based Concurrent Computing","description":"The ECOOP '91 Workshop on Object-Based Concurrent Computing\nwas organized toprovide a forum on concurrent, distributed\nand open-ended computing. The    emphasis was on conceptual,\ntheoretical and formal aspects, as well as      practical aspects\nand sound experience, since such a viewpoint was          deemed\nindispensible to investigate and establish a basis for\nfuture    development.\nThis volume contains 12 papers selected from 25 presented      at\nthe workshop, together with a paper by J.A. Goguen, who was\nan       invited speaker at the workshop. The papers are\nclassified into four        categories:\nFormal methods (1): three papers are concerned with             the\nformal semantics of concurrent objects based on                         process\ncalculi.\nFormal methods (2): four papers are concerned with     various\nformal approaches to the semantics of concurrent                    programs.\nConcurrent programming: three papers.\nModels: three papers areconcerned with models for\nconcurrent systems.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540556138\"\u003e\u003ch3\u003eECOOP '91 Workshop, Geneva, Switzerland, July 15-16, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540556138","offer_id":39437765050461,"sku":"9783540556138","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/0e4ffacf-13e6-4463-985b-6e3b7d33efe5.jpg?v=1773554698","url":"https:\/\/shop.autorenwelt.de\/products\/object-based-concurrent-computing-ecoop-91-workshop-geneva-switzerland-july-15-16-1991-proceedings-von-oscar-nierstrasz-mario-tokoro-peter-wegner-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}