Author:
Hikita Teruo,Ishihata Kiyoshi
Reference14 articles.
1. Monitors
2. Communicating sequential processes
3. Distributed processes
4. United States Department of Defense, Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983, January 1983.
5. Transformational semantics for concurrent programs
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献