Transfer Request Broker: Resolving Input-Output Choice
暂无分享,去创建一个
[1] Abraham Silberschatz,et al. An Effective Implementation for the Generalized Input-Output Construct of CSP , 1983, TOPL.
[2] Peter H. Welch,et al. A CSP model for Java multithreading , 2000, 2000 Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems.
[3] Arthur J. Bernstein,et al. Output Guards and Nondeterminism in “Communicating Sequential Processes” , 1980, TOPL.
[4] I. R. Forman,et al. Design by decomposition of multiparty interactions in Raddle87 , 1989, IWSSD '89.
[5] Peter H. Welch. A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk) , 2006, CPA.
[6] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[7] Wilson Ifill,et al. Integrating and Extending JCSP , .
[8] Johannes F. Broenink,et al. Communicating threads for Java , 1999 .
[9] Peter H. Welch,et al. An Introduction to the Kent C++CSP Library , 2003 .
[10] Fiona A. C. Polack,et al. Communicating complex systems , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).
[11] Peter Sjödin,et al. Multiway Synchronization Verified with Coupled Simulation , 1992, CONCUR.