Q-Automata: Modelling the Resource Usage of Concurrent Components

Additional Metadata
THEME	Software (theme 1)
Publisher	Elsevier B.V.
Series	Electronic Notes in Theoretical Computer Science
Conference	International Workshop on the Foundations of Coordination Languages and Software Architecture
Organisation	Computer Security
Citation APA APA Style APA-ALL Style AAA 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	Chothia, T.& Kleijn, J. (2006, January). Q-Automata: Modelling the Resource Usage of Concurrent Components. Electronic Notes in Theoretical Computer Science.

See Also
inProceedings Analysing the Mute Anonymous File-Sharing System Using the pi-calculus T. Chothia (Tom)
inProceedings A Framework for Automatically Checking Anonymity with mCRL T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun) and M.T. Dashti (Mohammad)
inProceedings Analysing the Mute Anonymous File-Sharing System Using the pi-calculus T. Chothia (Tom)
inProceedings A Framework for Automatically Checking Anonymity with mCRL T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun) and M.T. Dashti (Mohammad)

Publication