{"product_id":"formal-modeling-gul-agha-9783642249327","title":"Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday","description":"This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Gul Agha\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3642249329\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783642249327\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 10\/13\/2011\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 447\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.55lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.20h x 6.10w x 1.00d","brand":"Gul Agha","offers":[{"title":"Paperback","offer_id":47424604438783,"sku":"9783642249327","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_bdf5b244-13b4-4b0b-b346-799d008b0152.jpg?v=1761531335","url":"https:\/\/www.whiterainbookhouse.com\/products\/formal-modeling-gul-agha-9783642249327","provider":"WR Book House","version":"1.0","type":"link"}