Glenn Bruns

Distributed systems analysis with CCS

1997

Distributed System Analysis with CCS

1996

Applying process refinement to

Applying process refinement to a safety-relevantsystem

1994

A language for value-passing C

A language for value-passing CCS

1991