eBay |
Specification and Analysis of Concurrent Systems: The Cosy Approach by Ryszard Janicki, Peter E. Lauer (Paperback, 2011)
Be the first to write a review.
OUR TOP PICK
$312.95
+ $50.00 postageQuantity
2 available
Condition
Brand new
Sold by
ausreseller (117322)97.6% Positive Feedback
Delivery
Est. 5 Jul - 14 JulFrom Australia
Returns
No returns, but backed by eBay Money Back Guarantee
Best-selling in Non-Fiction Books
The Art of War by Sun Tzu (Paperback, 2011)
TRENDING PRICE
- AU $7.40New
Chariots of the Gods by Erich Von Daniken (Hardback)
TRENDING PRICE
- AU $24.15New
5 Love Languages: The Secret to Love That Lasts by Gary Chapman (Paperback, 2014)
TRENDING PRICE
- AU $23.10New
Jiu-jitsu University by Kevin Howell, Saulo Ribeiro (Paperback, 2008)
TRENDING PRICE
- AU $57.50New
Pathfinder Roleplaying Game GM Screen - Bulmahn Jason Hardcover 7 Dec 2009
TRENDING PRICE
- AU $24.62New
Learn to Draw Birds Bird Anatomy for Artists by Natalia Balo
TRENDING PRICE
- AU $41.14New
The Spinal Nerves Anatomical Chart by Anatomical Chart Co. (Fold-out book or chart, 2001)
TRENDING PRICE
- AU $20.45New
Save on Non-Fiction Books
Bobby Flay's Barbecue Addiction by Bobby Flay Hardcover Book (English)
AU $46.25Trending at AU $49.54Classics The Art Of War BOOK NEW
AU $3.75Trending at AU $7.40Bolt Carol-The Book Of Answers (US IMPORT) HBOOK NEW
AU $27.04Trending at AU $31.95Becoming a Supple Leopard by Kelly Starrett Hardcover Book (English)
AU $70.89Trending at AU $79.84Chariots of the Gods by Erich Von Daniken (Hardback)
AU $20.50Trending at AU $24.15The Five Love Languages The Secret to Love By Gary Chapman - Brand New
AU $22.60Trending at AU $23.10Psychic Development for Beginners: An Easy Guide to Releasing and Developing...
AU $17.07Trending at AU $23.45
You may also like
About this product
Description
- DescriptionConcurrent systems abound in human experience but their fully adequate conceptualization as yet eludes our most able thinkers. The COSY (ConcurrentSystem) tation and theory was developed in the last decade as one of a number of mathematical approaches for conceptualizing and analyzing concurrent and reactive systems. The COSY approach extends theconventional tions of grammar and automaton from formal language and automata theory to collections of synchronized grammars and automata, permitting system specification and analysis of true concurrency without reduction to n-determinism. COSY theory is developed to a great level of detail and constitutes the first uniform and self-contained presentatiof all results about COSY published in the past, as well as including many new results. COSY theory is used to analyze a sufficient number of typical problems involving concurrency, synchronization and scheduling, to allow the reader to apply the techniques presented tosimilar problems. The COSY model is also related to many alternative models of concurrency, particularly Petri Nets, Communicating Sequential Processes and the Calculus of Communicating Systems.
Key Features
- Author(s)Peter E. Lauer,Ryszard Janicki
- PublisherSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Date of Publication29/12/2011
- LanguageEnglish
- FormatPaperback
- ISBN-103642773397
- ISBN-139783642773396
- SubjectComputing: Professional & Programming
- Series TitleMonographs in Theoretical Computer Science : An Eatcs Series
Publication Data
- Place of PublicationBerlin
- Country of PublicationGermany
- ImprintSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Content Notebiography
Dimensions
- Weight846 g
- Width170 mm
- Height242 mm
- Spine26 mm
Editorial Details
- Edition StatementSoftcover reprint of the original 1st ed. 1992
This item doesn't belong on this page.
Thanks, we'll look into this.