Author:
Liu Yuan,Xu Baowen,Chen Zhenqiang
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. J.C.M. Baeten, W.P. Weijland. Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.
2. J.C.M. Baeten, editor. Applications of Process Algebra. Cambridge University Press, Cambridge, United Kingdom, 1990.
3. J. A. Bergstra, J. W. Klop, Process Algebra for Synchronous Communication. Information and Control, 60:109–137, 1984.
4. J. Blieberger, B. Burgstaller, B. Scholz. Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs. In Proc. of the Ada-Europe International Conference on Reliable Software Technologies, Potsdam, Germany, June 2000. Springer.
5. Zhenqiang Chen Baowen Xu. Slicing Concurrent Java Programs. ACM SIGPLAN Notices, 2001, 36(4): 41–47.