No Words Wasted Sale
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Required Reading | January 16, 2015

    Required Reading: Books That Changed Us



    We tend to think of reading as a cerebral endeavor, but every once in a while, it can spur action. The following books — ranging from... Continue »

    spacer
Qualifying orders ship free.
$77.50
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
25 Remote Warehouse Operating Systems- General

This title in other editions

Nets, Terms and Formulas

by

Nets, Terms and Formulas Cover

 

Synopses & Reviews

Synopsis:

The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.

Table of Contents

1. Introduction; 2. Petri nets; 3. Process terms; 4. Logical formulas; 5. Process construction; 6. Extensions; References.

Product Details

ISBN:
9780521018456
Editor:
Van Rijsbergen, C. J.
Editor:
Abramsky, Samson
Editor:
Van Rijsbergen, C. J.
Editor:
Abramsky, S.
Editor:
Abramsky, Samson
Author:
Olderog, E. -R
Author:
Olderog, E. R.
Publisher:
Cambridge University Press
Location:
Cambridge
Subject:
Programming - Software Development
Subject:
Parallel processing (Electronic computers)
Subject:
System design
Subject:
Data Processing - Parallel Processing
Subject:
Parallel processing (Electronic computers) Pa
Subject:
Programming Languages - General
Subject:
Systems Architecture - Distributed Systems &
Subject:
Software Development & Engineering - General
Subject:
Operating Systems - General
Edition Description:
Trade paper
Series:
Cambridge Tracts in Theoretical Computer Science
Series Volume:
23
Publication Date:
20050831
Binding:
TRADE PAPER
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Y
Pages:
280
Dimensions:
6.69x9.60x.58 in. .99 lbs.

Related Subjects

Computers and Internet » Computer Architecture » Parallel
Computers and Internet » Operating Systems » General
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages

Nets, Terms and Formulas New Trade Paper
0 stars - 0 reviews
$77.50 In Stock
Product details 280 pages Cambridge University Press - English 9780521018456 Reviews:
"Synopsis" by , The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.
spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.