Dr. William S. Chao

• Channel-Based Infinite-Queue SBC Process Algebra For Systems Definition
• Channel-Based Multi-Queue SBC Process Algebra For Systems Modeling
• Generalized SBC Process Algebra for Communication and Concurrency
• Using Operation-Based Multi-Queue SBC Process Algebra as a Metamodel for UML
• Knowledge Representation 2.0: The Structure-Behavior Coalescence Approach