Connector Colouring I: Synchronisation and Context Dependency

2006-01-01

Electronic Notes in Theoretical Computer Science , Volume 154 p. 101- 119

Presented at the Symposium on Trustworthy Global Computing

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier
Journal	Electronic Notes in Theoretical Computer Science
Conference	Symposium on Trustworthy Global Computing
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Clarke, D.G, Costa, D, & Arbab, F. (2006). Connector Colouring I: Synchronisation and Context Dependency. Electronic Notes in Theoretical Computer Science , 154, 101–119.

See Also
inProceedings A Framework for Automatically Checking Anonymity with mCRL T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang and M.T. Dashti (Mohammad)
inProceedings Modelling Coordination in Biological Systems D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)
inProceedings A Framework for Automatically Checking Anonymity with mCRL T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang and M.T. Dashti (Mohammad)
inProceedings Modelling Coordination in Biological Systems D.G. Clarke (David), D. Costa (David) and F. Arbab (Farhad)

Publication