Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Channel-Based Multi-Queue SBC Process Algebra For Systems Modeling: General Systems Theory 2.0 at Work

Channel-Based Multi-Queue SBC Process Algebra For Systems Modeling: General Systems Theory 2.0 at Work

Chao, William S.

Paperback

General Science

ISBN10: 1540801152
ISBN13: 9781540801159
Publisher: Createspace
Published: Dec 3 2016
Pages: 214
Weight: 1.12
Height: 0.45 Width: 8.50 Depth: 11.00
Language: English
The need for systems modeling 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 modeling or system modeling 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 system modeling.Channel-based multi-queue SBC process algebra (C-M-SBC-PA) is one of the six specialized SBC process algebras. In this book, we use C-M-SBC-PA to achieve the robust systems modeling of a system. To see is to believe. Therefore, many examples are presented to help the reader fully understand the use of C-M-SBC-PA.

2 different editions

Also available

Also in

General Science

View All