Process algebra for parallel and distributed processing. (©2009)

• Record Type: Book
• Further Information: Note: Edited by Michael Alexander, William Gardner.
• Other Names: Alexander, Michael, 1970 September 25; Gardner, William, 1952-
• Contents: Parallel programming -- Synthesizing and verifying multicore parallelism in categories of nested code graphs / Christopher Kumar Anand and Wolfram Kahl -- Semi-explicit parallel programming in a purely functional style: GpH / Hans-Wolfgang Loidl, Phil Trinder, Kevin Hammond, Abdallah Al Zain, and Clem Baker-Finch -- Refinement of parallel algorithms / Fredrik Degerlund and Kaisa Sere -- Distributed systems -- Analysis of distributed systems with mCRL2 / Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S. Usenko, and Muck van Weerdenburg -- Business process specification and analysis / Uwe Nestmann and Frank Puhlmann -- Behavioral specification of middleware systems / Nelson Souto Rosa -- Abstract machine for service-oriented mobility / Hervé Paulino -- Specifying and implementing secure mobile applications / Andrew Phillips -- Embedded systems -- Calculating concurrency using circus / Alistair A. McEwan -- PARS: a process algebraic approach to resources and schedulers / MohammadReza Mousavi, Michel A. Reniers, Twan Basten, and Michel Chaudron -- Formal approach to derivation of concurrent implementations in software product lines / Sergio Yovine, Ismail Assayad, Francois-Xavier Defaut, Marcelo Zanconi, and Ananda Basu.
• Publisher Details: Boca Raton : CRC Press
• Publication Date: 2009
• Copyright Date: 2009
• Extent: 1 online resource (xxii, 415 pages), illustrations
• Subjects: 004.01/51 22; Parallel processing (Electronic computers); Electronic data processing -- Distributed processing; Formal methods (Computer science); Electronic data processing -- Distributed processing; Formal methods (Computer science); Parallel processing (Electronic computers); Electronic books
• Languages: English
• ISBNs: 9781420064872; 1420064878
• Related ISBNs: 9781420064865; 142006486X
• Notes: Note: Includes bibliographical references and index.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.