Win a Family Weekend Break with Lovereading and VisitWiltshire - click here for details...

desmond elliott 2017
Search our site
Are You Sleeping by Kathleen Barber Read the opening extract of the brand new Kathleen Barber book before its publication on 27/12/2017

Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs by Mingsheng Ying
  

Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs

Synopsis

Topology in Process Calculus Approximate Correctness and Infinite Evolution of Concurrent Programs by Mingsheng Ying

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

About the Author

Loading other formats...

Book Info

Publication date

28th October 2012

Author

Mingsheng Ying

More books by Mingsheng Ying
Author 'Like for Like'
    recommendations

Publisher

Springer-Verlag New York Inc.

Format

Paperback
220 pages

Categories

Software Engineering

ISBN

9781461265221

The selections are so varied and the reader reviews are so helpful. A fantastic website for those who love books.

Ann Quintilla

I love that Lovereading handpicks very special debut reads.

Magda North

I read new, exciting writers and established authors before publication and there is a great website full of brilliant books and opinions.

Lynda

At Lovereading there are fabulous books available in every genre, with great reviews to help you pick the right book for you.

Teresa O'Halloran

I love Lovereading because I get to read great books and then get to tell everybody how good they are.

Sally Doel

Why I love @lovereadinguk? It's in the name - as dedicated lovers of reading, they are perfect matchmakers for helping me find my next read!

Catherine Jenkins

With literary excellence, humour and drama, Lovereading's got value and is a real stress-calmer!

Siobhan McDowell

Their sending me my first book to review 18 months ago re-awakened my fondness for reading, since then I have purchased some real gems.

Barry Griffiths

Lovereading4kids

Lovereading4schools