OXFORD UNIVERSITY COMPUTING LABORATORY

Deadlock analysis in networks of communicating processes

A. W. Roscoe and S.D. Brookes

info

journal

Distributed Computing

number

4

pages

209—230

year

1991

links

BibTeX

Link (pdf)

related pages

people

activities

Random Image
Random Image
Random Image