Generalized SBC Process Algebra for Communication and Concurrency: The Structure-Behavior Coalescence Approach häftadEngelska, 2016