RISS 검색 - 단행본 상세보기

부가정보

목차 (Table of 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

자료제공 :
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 Mohammad Reza 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
Index

온라인 도서 정보

온라인 서점 구매

온라인 서점 구매 정보
서점명	서명	판매현황	종이책			전자책 구매링크
서점명	서명	판매현황	정가	판매가(할인율)	포인트(포인트몰)	전자책 구매링크
	Process Algebra for Parallel and Distributed Processing (Hardcover)	판매중	271,500원	222,630원 (18%)	11,140포인트
	Process Algebra for Parallel and Distributed Processing	판매중	268,500원	241,650원 (10%)	12,090포인트 (5%)

포인트 적립은 해당 온라인 서점 회원인 경우만 해당됩니다.
상기 할인율 및 적립포인트는 온라인 서점에서 제공하는 정보와 일치하지 않을 수 있습니다.
RISS 서비스에서는 해당 온라인 서점에서 구매한 상품에 대하여 보증하거나 별도의 책임을 지지 않습니다.

책소개

자료제공 :

Process Algebra for Parallel and Distributed Processing

Process algebras are commonly used in computer science to model concurrent systems. This book discusses the research in the application of algebraic languages and process algebras to parallel and distributed processing. It also features tools, case studies, and a supplementary website.