Connector colouring I: Synchronisation and context dependency (0)

by D Clarke, D Costa, F Arbab
Venue:Science of Computer Programming