Professional Documents
Culture Documents
CSP-Poster Qasem Abdullah GP04171
CSP-Poster Qasem Abdullah GP04171
CSP-Poster Qasem Abdullah GP04171
References
Prefix Deterministic Non-Deterministic Interleaving Interface 1. Hoare, C. A. R. (1978). "Communicating sequential
Choice Choice Hiding processes". Communications of the ACM 21 (8): 666–67.
parallel 2. Barrett, G. (1995). "Model checking in practice: The T9000
Virtual Channel Processor". IEEE Transactions on Software
Engineering 21 (2): 69–78.
Prof. Dr. ABDULLAH BIN MOHD. ZIN Dr. BAHARI BIN IDRUS QASEM ABDULLAH QASEM AL-TASHI
GP04171