National Science Library of Georgia

Image from Google Jackets

Process algebra / J.C.M. Baeten and W.P. Weijland.

By: Contributor(s): Material type: TextTextSeries: Cambridge tracts in theoretical computer science ; 18.Publisher: Cambridge : Cambridge University Press, 1990Description: 1 online resource (248 pages) : digital, PDF file(s)Content type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9780511624193 (ebook)
Subject(s): Additional physical formats: Print version: : No titleDDC classification:
  • 511.3 20
LOC classification:
  • QA267 .B33 1990
Online resources: Summary: This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.

There are no comments on this title.

to post a comment.
Copyright © 2023 Sciencelib.ge All rights reserved.