{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:30:19Z","timestamp":1725622219511},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642233296"},{"type":"electronic","value":"9783642233302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23330-2_35","type":"book-chapter","created":{"date-parts":[[2011,10,18]],"date-time":"2011-10-18T15:19:58Z","timestamp":1318951198000},"page":"314-321","source":"Crossref","is-referenced-by-count":6,"title":["Refinement-Based Techniques in the Analysis of Information Flow Policies for Dynamic Virtual Organisations"],"prefix":"10.1007","author":[{"given":"Jeremy W.","family":"Bryans","sequence":"first","affiliation":[]},{"given":"John S.","family":"Fitzgerald","sequence":"additional","affiliation":[]},{"given":"Tom","family":"McCutcheon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/A:1008880215595","volume":"9","author":"L.M. Camarinha-Matos","year":"1998","unstructured":"Camarinha-Matos, L.M., Afsarmanesh, H., Garita, C., Lima, C.: Towards an architecture for virtual enterprises. Journal of Intelligent Manufacturing\u00a09, 189\u2013199 (1998)","journal-title":"Journal of Intelligent Manufacturing"},{"key":"35_CR2","first-page":"27","volume-title":"eAdoption and the Knowledge Economy: eChallenges 2004","author":"T. Dimitrakos","year":"2004","unstructured":"Dimitrakos, T., Golby, D., Kearney, P.: Towards a Trust and Contract Management Framework for Dynamic Virtual Organisations. In: eAdoption and the Knowledge Economy: eChallenges 2004, pp. 27\u201329. Kluwer Academic, Dordrecht (2004)"},{"key":"35_CR3","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1007\/s10845-007-0063-3","volume":"18","author":"L.M. Camarinha-Matos","year":"2007","unstructured":"Camarinha-Matos, L.M., Afsarmanesh, H.: A comprehensive modeling framework for collaborative networked organizations. Journal of Intelligent Manufacturing\u00a018, 529\u2013542 (2007)","journal-title":"Journal of Intelligent Manufacturing"},{"issue":"4","key":"35_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J.C.P. Woodcock","year":"2009","unstructured":"Woodcock, J.C.P., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. Computing Surveys\u00a041(4), 1\u201336 (2009)","journal-title":"Computing Surveys"},{"key":"#cr-split#-35_CR5.1","doi-asserted-by":"crossref","unstructured":"1. Haidar, A.N., Coveney, P.V., Abdallah, A.E., et al.: Formal Modelling of a Usable Identity Management Solution for Virtual Organisations. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009)","DOI":"10.4204\/EPTCS.16.4"},{"key":"#cr-split#-35_CR5.2","doi-asserted-by":"crossref","unstructured":"2. Electronic Proceedings in Theoretical Computer Science 16, 41-50 (2010)","DOI":"10.4204\/EPTCS.16.4"},{"key":"#cr-split#-35_CR6.1","doi-asserted-by":"crossref","unstructured":"3. McGinnis, J., Stathis, K., Toni, F.: A Formal Framework of Virtual Organisations as Agent Societies. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009)","DOI":"10.4204\/EPTCS.16.1"},{"key":"#cr-split#-35_CR6.2","doi-asserted-by":"crossref","unstructured":"4. Electronic Proceedings in Theoretical Computer Science 16, 1-14 (2010)","DOI":"10.4204\/EPTCS.16.1"},{"key":"#cr-split#-35_CR7.1","doi-asserted-by":"crossref","unstructured":"5. Bocchi, L., Fiadeiro, J., Rajper, N., Reiff-Marganeic, S.: Structure and Behaviour of Virtual Organisation Breeding Environments. In: Bryans, J.W., Fitzgerald, J.S. (eds.) Proc. 2nd Workshop on Formal Aspects of Virtual Organisations, Eindhoven (November 2009)","DOI":"10.4204\/EPTCS.16.3"},{"key":"#cr-split#-35_CR7.2","doi-asserted-by":"crossref","unstructured":"6. Electronic Proceedings in Theoretical Computer Science 16, 26-40 (2010)","DOI":"10.4204\/EPTCS.16.3"},{"key":"35_CR8","first-page":"91","volume-title":"Proc. IEEE Intl. Symp. on Leveraging Applications for Formal Methods, Cyprus","author":"J.W. Bryans","year":"2007","unstructured":"Bryans, J.W., Fitzgerald, J.S., Jones, C.B., Mozolevsky, I.: Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering. In: Proc. IEEE Intl. Symp. on Leveraging Applications for Formal Methods, Cyprus, pp. 91\u201398. IEEE, Los Alamitos (2007)"},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"Fitzgerald, J.S., Bryans, J.W., Greathead, D., Jones, C.B.: Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. In: Boca, P., Bowen, J.P., Larsen, P.G. (eds.) Proc. BCS-FACS Workshop on Formal Methods in Industry, Electronic Workshops in Computing. British Computer Society (2008)","DOI":"10.14236\/ewic\/FMI2007.3"},{"issue":"2","key":"35_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.entcs.2007.12.016","volume":"197","author":"A. Arenas","year":"2008","unstructured":"Arenas, A., Aziz, B., Bicarregui, J.C., Matthews, B.: Managing Conflicts of Interest in Virtual Organisations. Electronic Notes in Theoretical Computer Science\u00a0197(2), 45\u201356 (2008); Proc. 3rd Intl. Workshop on Security and Trust Management (STM 2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"35_CR11","series-title":"IFIP AICT","doi-asserted-by":"publisher","first-page":"478","DOI":"10.1007\/978-3-642-15961-9_57","volume-title":"Collaborative Networks for a Sustainable World","author":"H. Belhay","year":"2010","unstructured":"Belhay, H., Balouki, Y., Boudadi, M., El Hajji, S.: Using Event B to Specify QoS in ODP Enterprise Language. In: Camarinha-Matos, L.M., Boucher, X., Afsarmanesh, H. (eds.) PRO-VE 2010. IFIP AICT, vol.\u00a0336, pp. 478\u2013485. Springer, Heidelberg (2010)"},{"key":"35_CR12","unstructured":"London Emergency Services Liaison Panel: Major Incident Procedure Manual. Seventh Edition (2007), www.met.police.uk\/leslp"},{"key":"35_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modelling in Event-B: System and Software Engineering","author":"J.-R. Abrial","year":"2010","unstructured":"Abrial, J.-R.: Modelling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"35_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An Open Extensible Tool Environment for Event-B. In: Liu, Z., Kleinberg, R.D. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"35_CR15","unstructured":"Fitzgerald, J.S., Bryans, J.W.: The Verifiable Virtual Organisation: a Position Paper. In: Proc. Formal Aspects of Virtual Organisations 2008, Technical Report CS-TR-1098, School of Computing Science, Newcastle University (2008)"}],"container-title":["IFIP Advances in Information and Communication Technology","Adaptation and Value Creating Collaborative Networks"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23330-2_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,11]],"date-time":"2021-12-11T15:10:00Z","timestamp":1639235400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23330-2_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642233296","9783642233302"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23330-2_35","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}