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

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

Mingsheng Ying

4.9/5 (19918 ratings)

Description:Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. 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. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. To get started finding Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Pages: 232

Format: PDF, EPUB & Kindle Edition

Publisher: —

Release: 2011

ISBN: 1461301246

Description: Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. 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. This book is restricted to CCS for simplicity, but the main idea also applies to some other process calculi. The concept of bisimulation limits, useful for the understanding and analysis of infinite evolution of processes, is introduced. In addition, the notions of near bisimulations and bisimulation indexes, suitable in describing approximate correctness of concurrent programs, are proposed. The book will be of particular interest to researchers in the fields of theoretical computer science, especially theory of concurrency and hybrid systems, and graduate students in related disciplines. It will also be valuable to practical system designers developing concurrent and/or real-time systems.We have made it easy for you to find a PDF Ebooks without any digging. And by having access to our ebooks online or by storing it on your computer, you have convenient answers with Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs. To get started finding Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs, you are right to find our website which has a comprehensive collection of manuals listed.
Our library is the biggest of these that have literally hundreds of thousands of different products represented.

Special Offer | $0.00

Special Offer! | $0.00

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

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

More Books

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs [Paperback] [2012] (Author) Mingsheng Ying

Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs [Paperback] [2012] (Author) Mingsheng Ying

Topology in Process Calculus 1st Edition by Ying, Mingsheng published by Springer

Topology in Process Calculus 1st Edition by Ying, Mingsheng published by Springer

Foundations of Quantum Programming

Foundations of Quantum Programming

Model Checking Quantum Systems: Principles and Algorithms

Model Checking Quantum Systems: Principles and Algorithms

Quantum Programming Fundamentals(Chinese Edition)

Quantum Programming Fundamentals(Chinese Edition)

Fuzzy Logic and Soft Computing (The International Series on Asian Studies in Computer and Information Science, 6)

Fuzzy Logic and Soft Computing (The International Series on Asian Studies in Computer and Information Science, 6)

Fuzzy Logic and Soft Computing (The International Series on Asian Studies in Computer and Information Science Book 6)

Fuzzy Logic and Soft Computing (The International Series on Asian Studies in Computer and Information Science Book 6)