OXFORD UNIVERSITY COMPUTING LABORATORY

A Singleton Failures Semantics for Communicating Sequential Processes

Christie Bolton and Jim Davies

info

journal

Formal Aspects of Computing

number

2

pages

181-210

volume

18

year

2006

links

BibTeX

related pages

people

Random Image
Random Image
Random Image