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

Bok av William S Chao