1.

国際会議録
国際会議録
1. Laws of Programming
Hoare R. A. C. ; Hayes J. I. ; Jifeng He ; Morgan C. C. ; Roscoe W. A. ; Sanders W. J. ; Sorenson H. I. ; Spivey M. J. ; Sufrin A. B.
出版情報: Programming and mathematical method.  pp.95-122,  1992.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 88
2.

国際会議録
国際会議録
2. Deadlock analysis in networks of Communicating Processes
Brookes S. ; Roscoe W. A.
出版情報: Logics and models of concurrent systems.  pp.305-323,  1985.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 13