Connector Colouring I: Synchronisation and Context Dependency

2006

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
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Clarke, D., 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