Name: Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior
Price: 21.56 EUR
Availability: InStock
Author: Chao, William S.
ISBN: 9781545492659

portada Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior

Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior

Type

Physical Book

Author

William S. Chao

Publisher

Createspace

Language

English

Pages

194

Format

Paperback

Dimensions

27.9 x 21.6 x 1.0 cm

Weight

0.46 kg.

ISBN13

9781545492659

Synopsis "Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior"

The need for systems definition arises because any real-life system is inherently complicated. It is impossible to comprehend fully the intricate interaction of any system of the real world with its environment, or to define all its components and each of its details. Systems definition or system definition is an artifact created by humans to define what a system is.Process algebras are a diverse family of related approaches to the study of concurrent systems. Their tools are algebraic languages for the high-level description of interactions, communications, and synchronizations among independent processes. Process algebras also provide algebraic laws that allow process descriptions to be manipulated and analyzed, and permit formal reasoning about equivalences and observation congruence among processes. Accordingly, process algebra provides a perfect method for systems definition.Operation-based multi-queue SBC process algebra (O-M-SBC-PA) is one of the six specialized SBC process algebras. In this book, we use O-M-SBC-PA to achieve the robust systems definition of a system. To see is to believe. Therefore, many examples are presented to help the reader fully understand the use of O-M-SBC-PA.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior - Chao, William S.

Synopsis "Operation-Based Multi-Queue SBC Process Algebra For Systems Definition: Unification of Systems Structure and Systems Behavior"

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery