{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:13:20Z","timestamp":1725491600354},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752905"},{"type":"electronic","value":"9783540752929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75292-9_11","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T10:43:07Z","timestamp":1189507387000},"page":"154-168","source":"Crossref","is-referenced-by-count":1,"title":["A Framework for Incorporating Trust into Formal Systems Development"],"prefix":"10.1007","author":[{"given":"Fredrik","family":"Degerlund","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book: assigning programs to meanings","author":"J.-R. Abrial","year":"1996","unstructured":"Abrial, J.-R.: The B-Book: assigning programs to meanings. Cambridge University Press, New York, USA (1996)"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1145\/800221.806716","volume-title":"PODC 1983","author":"R.J.R. Back","year":"1983","unstructured":"Back, R.J.R., Kurki-Suonio, R.: Decentralization of process nets with centralized control. In: PODC 1983. Proceedings of the second annual ACM symposium on Principles of distributed computing, pp. 131\u2013142. ACM Press, New York, NY, USA (1983)"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/BF01214918","volume":"8","author":"R.J.R. Back","year":"1996","unstructured":"Back, R.J.R., Sere, K.: Superposition refinement of reactive systems. Formal Aspects of Computing\u00a08(3), 324\u2013346 (1996)","journal-title":"Formal Aspects of Computing"},{"key":"11_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1674-2","volume-title":"Refinement Calculus: A Systematic Introduction","author":"R.J.R. Back","year":"1998","unstructured":"Back, R.J.R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/978-3-540-24747-0_25","volume-title":"Trust Management","author":"M. Butler","year":"2004","unstructured":"Butler, M., Leuschel, M., Lo Presti, S., Turner, P.: The use of formal methods in the analysis of trust (position paper). In: Jensen, C., Poslad, S., Dimitrakos, T. (eds.) iTrust 2004. LNCS, vol.\u00a02995, pp. 333\u2013339. Springer, Heidelberg (2004)"},{"key":"11_CR6","volume-title":"Parallel Program Design: A Foundation","author":"K.M. Chandy","year":"1988","unstructured":"Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, Reading (1988)"},{"key":"11_CR7","volume-title":"NWPT 2006","author":"F. Degerlund","year":"2006","unstructured":"Degerlund, F., Sere, K.: A framework for incorporating trust into the action systems formalism (work in progress). In: Aceto, L., Ing\u00f3lfsd\u00f3ttir, A. (eds.) NWPT 2006. Proceedings for the 18th Nordic Workshop on Programming Theory, oct 2006, Reykjav\u00edk Univerity, Reykjav\u00edk, Iceland (2006), abstract"},{"key":"11_CR8","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"11_CR9","unstructured":"J\u00f8sang, A.: Artificial reasoning with subjective logic. In: Proceedings of the 2nd Australian Workshop on Commonsense Reasoning (1997)"},{"key":"11_CR10","unstructured":"J\u00f8sang, A., Hayward, R., Pope, S.: Trust network analysis with subjective logic. In: ACSC 2006. Proceedings of the 29th Australasian Computer Science Conference, pp. 85\u201394 (2006)"},{"issue":"3","key":"11_CR11","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L. Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The byzantine generals problem. ACM Transactions on Programming Languages and Systems\u00a04(3), 382\u2013401 (1982)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR12","unstructured":"M\u00e9tayer, C., Abrial, J.-R., Voisin, L.: Event-b language, Rodin Deliverable D7. EU-project RODIN (IST-511599) (2005), \n                  \n                    http:\/\/rodin.cs.ncl.ac.uk\/deliverables.htm"},{"key":"11_CR13","first-page":"177","volume-title":"SEFN 2006","author":"M. Neovius","year":"2006","unstructured":"Neovius, M., Sere, K., Yan, L., Satpathy, M.: A formal model of context-awareness and context-dependency. In: SEFN 2006. Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, pp. 177\u2013185. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"2","key":"11_CR14","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1145\/322186.322188","volume":"27","author":"M. Pease","year":"1980","unstructured":"Pease, M., Shostak, R., Lamport, L.: Reaching agreement in the presence of faults. Journal of the ACM\u00a027(2), 228\u2013234 (1980)","journal-title":"Journal of the ACM"},{"key":"11_CR15","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"97","volume-title":"Proceedings of WDS 1999 - Workshop on Distributed Systems","author":"L. Petre","year":"1999","unstructured":"Petre, L., Sere, K., Wald\u00e9n, M.: A topological approach to distributed computing. In: Proceedings of WDS 1999 - Workshop on Distributed Systems, September 1999. Electronic Notes in Theoretical Computer Science, vol.\u00a028, pp. 97\u2013118. Elsevier, Amsterdam (1999)"},{"key":"11_CR16","unstructured":"Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P.: A formal model for trust lifecycle management. In: FAST 2003. Workshop on Formal Aspects in Security and Trust, pp. 181\u2013192 (2004)"},{"key":"11_CR17","first-page":"14","volume-title":"ISPDC 2004","author":"L. Yan","year":"2004","unstructured":"Yan, L., Sere, K.: A formalism for context-aware mobile computing. In: ISPDC 2004. Proceedings of the Third International Symposium on Parallel and Distributed Computing\/Third International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Networks (ISPDC\/HeteroPar\u201904), Washington, DC, USA, pp. 14\u201321. IEEE Computer Society Press, Los Alamitos (2004)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2007"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75292-9_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:58:54Z","timestamp":1619521134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75292-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752905","9783540752929"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75292-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}