A Finite Delay Operator in Synchronous CCS.

Robin Milner

Research output: Book/ReportBook

Original languageEnglish
PublisherUniversity of Edinburgh Department of Computer Science
Number of pages23
Publication statusUnpublished - 1982

Cite this