Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems
暂无分享,去创建一个
Scott A. Smolka | Jawahar Malhotra | Robert M. Shapiro | Alessandro Giacalone | S. Smolka | R. Shapiro | A. Giacalone | J. Malhotra
[1] Scott A. Smolka,et al. CCS expressions, finite state processes, and three problems of equivalence , 1983, PODC '83.
[2] Robin Milner,et al. A Complete Inference System for a Class of Regular Behaviours , 1984, J. Comput. Syst. Sci..
[3] Scott A. Smolka,et al. On the analysis of cooperation and antagonism in networks of communicating processes , 1985, PODC '85.