• 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: 1539884422
ISBN13: 9781539884422
Publisher: Createspace
Published: Nov 2 2016
Pages: 248
Weight: 0.74
Height: 0.52 Width: 6.00 Depth: 9.00
Language: English
In the first edition of this book, we do not treat conditions in conditional expressions as prefixes. Therefore, all the theories of generalized SBC process algebra (G-SBC-PA), such as interleaving, restricted composition, structural composition, observation equivalence and observation congruence, attempt to ignore conditional expressions.

Also in

General Science