• 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
Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach

Paperback

General Science

ISBN10: 1544226136
ISBN13: 9781544226132
Publisher: Createspace
Published: Mar 7 2017
Pages: 260
Weight: 0.78
Height: 0.55 Width: 6.00 Depth: 9.00
Language: English
After the second edition of this book has been published, we found that in addition to treating each condition in a conditional expression as a prefix, we can embed each condition in the prefix.
We decide to revise this book. In the third edition of this book, every condition is embedded into a prefix. All the theories of generalized SBC process algebra (G-SBC-PA), such as interleaving, restricted composition and structural composition are thereafter gorgeously developed.

Also in

General Science