Process algebra for parallel and dis...
Alexander, Michael, (1970 Sept. 25-)

Linked to FindBook      Google Book      Amazon      博客來     
  • Process algebra for parallel and distributed processing /
  • Record Type: Language materials, printed : Monograph/item
    Title/Author: Process algebra for parallel and distributed processing // edited by Michael Alexander, William Gardner.
    other author: Alexander, Michael,
    Published: Boca Raton :CRC Press, : c2009.,
    Description: xxii, 415 p. :ill. ;25 cm.
    Notes: "A Chapman & Hall book."
    [NT 15003449]: 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 / Herve 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.
    Subject: Parallel processing (Electronic computers) -
    ISBN: 142006486X (alk. paper)
Location:  Year:  Volume Number: 
Items
  • 1 records • Pages 1 •
 
W0063725 六樓西文書區HC-Z(6F Western Language Books) 01.外借(書)_YB 一般圖書 QA76.58 P7664 2009 一般使用(Normal) On shelf 0
  • 1 records • Pages 1 •
Reviews
Export
pickup library
 
 
Change password
Login