Channel-Based Infinite-Queue SBC Process Algebra for Systems Definition
http://ift.tt/eA8V8J
Synopsis. In the first edition of this book, we do not treat any conditional expression. Therefore, all the theories of channel-based infinite-queue SBC process algebra (C-I-SBC-PA) attempt to ignore all conditional expressions. After further research, we find that if we embed each condition into a prefix, ...
from Algebra
Synopsis. In the first edition of this book, we do not treat any conditional expression. Therefore, all the theories of channel-based infinite-queue SBC process algebra (C-I-SBC-PA) attempt to ignore all conditional expressions. After further research, we find that if we embed each condition into a prefix, ...
from Algebra
