pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register
CATEGORY BROWSE
Arts

Agriculture

Biography

Business

Children's

Computing

Earth Sciences

Economics

Educational

Engineering

English Language Teaching (ELT)

Environment

Family

Fiction

Finance

Geography

Home

Humanities

Industry

Information

Information Technology

Interdisciplinary Subjects

Language

Law

Leisure Interests

Literature

Mathematics

Medicine

Planning

Practical Interests

Reference

Science

Social Sciences

Sport

Technology

Travel

Veterinary Science


ABOUT US
About Us
Contact Us
Terms & Conditions

Item Details
Title: APPLICATIONS OF PROCESS ALGEBRA
By: J. C. M. Baeten (Editor), C. J. Van Rijsbergen, S. Abramsky
Format: Paperback

List price: £89.00
Our price: £77.88
Discount:
12.5% off
You save: £11.12
ISBN 10: 0521607507
ISBN 13: 9780521607506
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 22 May, 2004
Series: Cambridge Tracts in Theoretical Computer Science No. 17
Pages: 332
Description: This book gives applications of the theory of process algebra. or Algebra of Comunicating Processes (ACS).
Synopsis: This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term 'algebra' is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics of an object-oriented language, and protocols. It will be welcomed by computer scientists working in parallel programming.
Illustrations: 50 b/w illus. 30 tables
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
ACTION SEMANTICS (PB)
ADVANCES IN INFORMATION RETRIEVAL (PB)
ALGORITHMIC INFORMATION THEORY (PB)
APPLICATIONS OF PROCESS ALGEBRA
APPLICATIONS OF PROCESS ALGEBRA (HB)
AUTOMATA, LANGUAGES AND PROGRAMMING (PB)
BASIC PROOF THEORY (PB)
BASIC SIMPLE TYPE THEORY (HB)
BELIEF REVISION (PB)
COMPUTING SCIENCE IN THE UNIVERSITY OF GLASGOW (PB)
CONCUR '90: THEORIES OF CONCURRENCY: UNIFICATION AND EXTENSION (PB)
CONCUR'91 (PB)
CONCUR'99. CONCURRENCY THEORY (PB)
DOMAINS AND LAMBDA CALCULI (HB)
EPISTEMIC LOGIC FOR AI AND COMPUTER SCIENCE (PB)
EXTENSIONS OF FIRST-ORDER LOGIC (PB)
FORMAL SEMANTICS AND PRAGMATICS FOR NATURAL LANGUAGE QUERYING (PB)
FORMAL SPECIFICATION AND DESIGN (PB)
FREE CHOICE PETRI NETS (PB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 1. BACKGROUND: MATHEMATICAL STRUCTURES (HB)
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 2. BACKGROUND: COMPUTATIONAL STRUCTURES (HB)
INFORMATION FLOW (HB)
LOGIC AND COMPUTATION (PB)
METAMATHEMATICS, MACHINES AND GODEL'S PROOF (PB)
NETS, TERMS AND FORMULAS (PB)
PREDICATETRANSFORMER SEMANTICS (PB)
PROCESS ALGEBRA
PROCESS ALGEBRA (HB)
PROCESS ALGEBRA WITH TIMING (HB)
PROCESS ALGEBRA WITH TIMING (PB)
PROCESS ALGEBRA: EQUATIONAL THEORIES OF COMMUNICATING PROCESSES
PROGRAMS, RECURSION AND UNBOUNDED CHOICE (PB)
SIGIR '94 (PB)
THE GEOMETRY OF INFORMATION RETRIEVAL
THE GEOMETRY OF INFORMATION RETRIEVAL (HB)
THE LOGIC OF TYPED FEATURE STRUCTURES (PB)
THEORETICAL FOUNDATIONS OF VLSI DESIGN (PB)
TOPOLOGY VIA LOGIC (PB)
TWO-LEVEL FUNCTIONAL LANGUAGES (PB)
UPDATING LOGICAL DATABASES (PB)

TOP SELLERS IN THIS CATEGORY
Essential Maths Skills for AS/A Level Computer Science (Paperback)
By: Victoria Ellis, Gavin Craddock
Hodder Education
Our Price : £12.08
more details
A Dictionary of Computer Science (Paperback)
By: Andrew Butterfield (Editor), Gerard Ekembe Ngondi (Editor), Anne Kerr (Editor)
Oxford University Press
Our Price : £11.67
more details
Cryptography Made Simple (Hardback)
By: Nigel P. Smart
Springer International Publishing AG
Our Price : £38.24
more details
MATLAB Deep Learning (Paperback)
By: Phil Kim
APress
Our Price : £48.12
more details
Mathematical Foundations of Computer Networking (Paperback)
By: Srinivasan Keshav
Pearson Education (US)
Our Price : £56.69
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 COMPUTING AND INFORMATION TECHNOLOGY
 general theory of computing
 mathematical theory of computation


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 

NEW
World’s Worst Superheroes
By: DAVID WALLIAMS
GET READY FOR SOME SUPERSIZED FUN!
add to basket

Inspiring
Maya Angelou
By: EVIE DAYE
add to basket

Inspiring
Jane Goodall
By: EVIE DAYE
add to basket

Inspiring
Marie Curie
By: EVIE DAYE
add to basket

New
Running My Own Race
By: ABENA EYESON
add to basket

New
No Cheese, Please!
By: NISHANI REED
A fun picture book for children with food allergies - full of friendship and super-cute characters!Little Mo the mouse is having a birthday party.
add to basket

New
My Brother Is a Superhero
By: DAVID SOLOMONS
Luke is massively annoyed about this, but when Zack is kidnapped by his arch-nemesis, Luke and his friends have only five days to find him and save the world...
add to basket

Picture Book
Thoughts from a Quiet Bench
By: KES GRAY
add to basket

Picture Book
Animal Actions: Snap Like a Crab
By:
The first title in a new preschool series from Guilherme Karsten.
add to basket