Behavioural Abstraction in TCCS.

Faron Moller, Chris M. N. Tofts

Browse the full ICALP paper archive.