Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Automated Verification
  4. A timed model for communicating sequential processes

A timed model for communicating sequential processes

A. W. Roscoe and G.M. Reed

Book Title
Proc.ICALP 86
Number
226
Pages
314–323
Publisher
Springer
Series
LNCS
Year
1986

Links

See Also

Back to Top