OXFORD UNIVERSITY COMPUTING LABORATORY

A timed model for communicating sequential processes

A. W. Roscoe and G.M. Reed

info

book title

Proc.ICALP 86

number

226

pages

314—323

publisher

Springer

series

LNCS

year

1986

links

BibTeX

Link (pdf)

related pages

people

activities

Random Image
Random Image
Random Image