Sebastian Bab & Nadim Sarrouh (2011):
Formale Modellierung von Access-Control-Policies in Dynamischen Koalitionen.
In: GI Proceedings, Informatik 2011 - Informatik schafft Communities,
pp. 402.
Laura Bocchi, José Luiz Fiadeiro, Noor Rajper & Stephan Reiff-Marganiec (2009):
Structure and Behaviour of Virtual Organisation Breeding Environments.
In: FAVO,
pp. 26–40.
Available at http://dx.doi.org/10.4204/EPTCS.16.3.
Egon Börger & Robert Stärk (2003):
Abstract State Machines: A Method for High-Level System Design and Analysis.
Springer Verlag.
J. W. Bryans, J. S. Fitzgerald, D. Greathead, C. B. Jones & R. J. Payne (2008):
A Dynamic Coalitions Workbench: Final Report.
Technical Report.
Newcastle University.
J. W. Bryans, J. S. Fitzgerald, C. B. Jones, I. Mozolevsky, Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones & Igor Mozolevsky (2006):
Dimensions of dynamic coalitions.
Technical Report.
J. W. Bryans, J. S. Fitzgerald & P. Periorellis (2006):
Model Based Analysis and Validation of Access Control Polcies.
Technical Report.
Newcastle University, School of Computing Science.
Jeremy Bryans & John Fitzgerald (2007):
Formal Engineering of XACML Access Control Policies in VDM++.
In: Michael Butler, Michael Hinchey & Mar\'ıa Larrondo-Petrie: Formal Methods and Software Engineering,
Lecture Notes in Computer Science 4789.
Springer Berlin / Heidelberg,
pp. 37–56.
Available at http://dx.doi.org/10.1007/978-3-540-76650-6_4.
Jeremy Bryans, John S. Fitzgerald, Cliff B. Jones & Igor Mozolevsky (2006):
Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.
Technical Report.
Available at http://dx.doi.org/10.1109/ISoLA.2006.21.
John Fitzgerald, Peter Gorm Larsen, Paul Mukherjee, Nico Plat & Marcel Verhoef (2005):
Validated Designs For Object-oriented Systems.
Springer-Verlag TELOS,
Santa Clara, CA, USA.
John S. Fitzgerald & Peter Gorm Larsen (2006):
Triumphs and Challenges for Model-Oriented Formal Methods: The VDM^\voidb@x ++ Experience (Abstract).
In: ISoLA,
pp. 1–4.
Available at http://dx.doi.org/10.1109/ISoLA.2006.33.
John S. Fitzgerald & Peter Gorm Larsen (2009):
Modelling Systems - Practical Tools and Techniques in Software Development (2. ed.).
Cambridge University Press.
Yuri Gurevich, Philipp W. Kutter, Martin Odersky & Lothar Thiele (2000):
Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings.
Lecture Notes in Computer Science 1912.
Springer.
Ali Nasrat Haidar, P. V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, B. Beckles, J. M. Brooke & M. A. S. Jones (2009):
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations.
In: FAVO,
pp. 41–50.
Available at http://dx.doi.org/10.4204/EPTCS.16.4.
R. Klueber (1998):
A framework for virtual Organizing.
In: VoNet Workshop.
Hristo Koshutanski & Antonio Maña (2010):
Interoperable semantic access control for highly dynamic coalitions.
Security and Communication Networks 3(6),
pp. 565–594.
Available at http://dx.doi.org/10.1002/sec.148.
Nick Lethbridge (2001):
An I-Based Taxonomy of Virtual Organisations and the Implications for Effective Management.
Informing Science 4 No 1.
Jarred McGinnis, Kostas Stathis & Francesca Toni (2009):
A Formal Framework of Virtual Organisations as Agent Societies.
In: FAVO,
pp. 1–14.
Available at http://dx.doi.org/10.4204/EPTCS.16.1.
Wolfgang Reisig (2010):
Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien.
Leitfäden der Informatik.
Vieweg+Teubner.
248 pages; ISBN 978-3-8348-1290-2.