東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

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)

Process algebra for parallel and distributed processing /
Process algebra for parallel and distributed processing /edited by Michael Alexander, William Gardner. - Boca Raton :CRC Press,c2009. - xxii, 415 p. :ill. ;25 cm. - Chapman & Hall/CRC computational science series. - Chapman & Hall/CRC computational science series..

"A Chapman & Hall book."

Includes bibliographical references and index.

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.

ISBN: 142006486X (alk. paper)

LCCN: 2008029295Subjects--Topical Terms:

653284
Parallel processing (Electronic computers)

LC Class. No.: QA76.58 / .P7664 2009

Dewey Class. No.: 004.01/51

Process algebra for parallel and distributed processing /
LDR:02090cam 2200241 a 45 001 798976
003 OCoLC
005 20090907112454.0
008 090903s2009 flua b 001 0 eng
010 $a 2008029295
020 $a 142006486X (alk. paper)
020 $a 9781420064865 (alk. paper) : $c UK63.99
035 $a (OCoLC)166358442
035 $a EE98T05001
040 $a DLC $c DLC $d BAKER $d BTCTA $d BWX $d C#P $d CDX $d OCLNG $d YBM $d YDXCP
050 0 0 $a QA76.58 $b .P7664 2009
082 0 0 $2 22 $a 004.01/51
245 0 0 $a Process algebra for parallel and distributed processing / $c edited by Michael Alexander, William Gardner.
260 $a Boca Raton : $c c2009. $b CRC Press,
300 $a xxii, 415 p. : $b ill. ; $c 25 cm.
490 1 $a Chapman & Hall/CRC computational science series
500 $a "A Chapman & Hall book."
504 $a Includes bibliographical references and index.
505 0 $a 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.
650 0 $a Parallel processing (Electronic computers) $3 653284
650 0 $a Electronic data processing $x Distributed processing. $3 548601
650 0 $a Formal methods (Computer science) $3 882407
700 1 $a Alexander, Michael, $d 1970 Sept. 25- $3 940974
700 1 $a Gardner, William, $d 1952- $3 940975
830 0 $a Chapman & Hall/CRC computational science series. $3 940976