Channel-Based Infinite-Queue SBC Process Algebra For Systems Definition: Integration of Systems Structure and Systems Behavior

Bok av William S Chao