0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Nets, Terms and Formulas - Three Views of Concurrent Processes and their Relationship (Hardcover, New) Loot Price: R3,385
Discovery Miles 33 850
Nets, Terms and Formulas - Three Views of Concurrent Processes and their Relationship (Hardcover, New): E.-R. Olderog

Nets, Terms and Formulas - Three Views of Concurrent Processes and their Relationship (Hardcover, New)

E.-R. Olderog

Series: Cambridge Tracts in Theoretical Computer Science

 (sign in to rate)
Loot Price R3,385 Discovery Miles 33 850 | Repayment Terms: R317 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules for the top-down design of concurrent processes. The first set can be used to transform stepwise logical formulas into process terms, whilst process terms can be transformed into Petri nets by the second set. These rules are based on novel techniques for the operational and denotational semantics of concurrent processes. Various results and relationships between nets, terms and formulas starting with formulas and illustrated by examples. The use of transformations is demonstrated in a series of case studies, and the author also identifies directions for research.

General

Imprint: Cambridge UniversityPress
Country of origin: United Kingdom
Series: Cambridge Tracts in Theoretical Computer Science
Release date: October 1991
First published: 1991
Authors: E.-R. Olderog
Dimensions: 257 x 180 x 19mm (L x W x T)
Format: Hardcover
Pages: 278
Edition: New
ISBN-13: 978-0-521-40044-2
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 0-521-40044-9
Barcode: 9780521400442

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R3,086 Discovery Miles 30 860
Hidden Semi-Markov Models - Theory…
Shun-Zheng Yu Paperback R951 Discovery Miles 9 510
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,891 Discovery Miles 38 910
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R2,975 Discovery Miles 29 750
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,864 Discovery Miles 18 640
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,382 Discovery Miles 23 820
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,719 Discovery Miles 37 190
Mathematics and Computing - ICMC 2018…
Debdas Ghosh, Debasis Giri, … Hardcover R4,119 R3,093 Discovery Miles 30 930
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R11,100 Discovery Miles 111 000
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,914 Discovery Miles 29 140
Handbook of Automated Reasoning, Volume…
Alan J.A. Robinson, Andrei Voronkov Hardcover R5,345 Discovery Miles 53 450
Reality and Measurement in Algebraic…
Masanao Ozawa, Jeremy Butterfield, … Hardcover R5,050 Discovery Miles 50 500

See more

Partners