{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T11:16:11Z","timestamp":1652440571361},"reference-count":48,"publisher":"Oxford University Press (OUP)","issue":"4","license":[{"start":{"date-parts":[[2017,1,17]],"date-time":"2017-01-17T00:00:00Z","timestamp":1484611200000},"content-version":"vor","delay-in-days":584,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6,7]]},"DOI":"10.1093\/logcom\/exv030","type":"journal-article","created":{"date-parts":[[2015,6,16]],"date-time":"2015-06-16T01:12:44Z","timestamp":1434417164000},"page":"665-703","source":"Crossref","is-referenced-by-count":0,"title":["Trust domains in system models: algebra, logic, utility, and combinators"],"prefix":"10.1093","volume":"28","author":[{"given":"Gabrielle","family":"Anderson","sequence":"first","affiliation":[{"name":"University College London, Department of Computer Science, Gower Street, London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pym","sequence":"additional","affiliation":[{"name":"University College London, Department of Computer Science, Gower Street, London"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2015,6,13]]},"reference":[{"key":"key\n\t\t\t\t20180607120736_B1","article-title":"Utility-based decision-making in distributed systems modelling","volume-title":"Proceedings of Theoretical Aspects of Rationality and Knowledge 2013","author":"Anderson","year":"2013"},{"key":"key\n\t\t\t\t20180607120736_B2","first-page":"232","article-title":"Trust domains: an algebraic, logical, and utility-theoretic approach","volume-title":"Proceedings of 6th TRUST","author":"Anderson","year":"2013"},{"key":"key\n\t\t\t\t20180607120736_B3"},{"key":"key\n\t\t\t\t20180607120736_B4","article-title":"Situations, facts, and true propositions","volume-title":"The Situation in Logic. Centre for the Study of Language and Information Lecture Notes","author":"Barwise","year":"1989"},{"key":"key\n\t\t\t\t20180607120736_B5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511895968","volume-title":"Information Flow: The Logic of Distributed Systems","author":"Barwise","year":"1997"},{"key":"key\n\t\t\t\t20180607120736_B6","first-page":"141","article-title":"Modelling the human and technological costs and benefits of USB memory stick security","volume-title":"Managing Information Risk and the Economics of Security","author":"Beautement","year":"2008"},{"key":"key\n\t\t\t\t20180607120736_B7","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s10992-008-9085-3","article-title":"Everything else being equal: a modal logic for ceteris paribus preferences","volume":"38","author":"van Benthem","year":"2009","journal-title":"Journal of Philosophical Logic"},{"key":"key\n\t\t\t\t20180607120736_B8","volume-title":"Preference Logic, Conditionals, and Solution Concepts in Games","author":"van Benthem","year":"2005"},{"key":"key\n\t\t\t\t20180607120736_B9"},{"key":"key\n\t\t\t\t20180607120736_B10"},{"key":"key\n\t\t\t\t20180607120736_B11","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-319-07620-1_21","article-title":"Compositional security modelling: structure, economics, and behaviour","volume":"8533","author":"Caulfield","year":"2014","journal-title":"Lecture Notes in Computer Science"},{"key":"key\n\t\t\t\t20180607120736_B12","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/3-540-46429-8_18","article-title":"Exploiting modal logic to express performance measures","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools, Proceedings of the 11th International Conference","author":"Clark","year":"2000"},{"key":"key\n\t\t\t\t20180607120736_B13","doi-asserted-by":"crossref","first-page":"959","DOI":"10.1017\/S0960129509990077","article-title":"Algebra and logic for resource-based systems modelling","volume":"19","author":"Collinson","year":"2009","journal-title":"Mathematical Structures in Computer Science"},{"key":"key\n\t\t\t\t20180607120736_B14","doi-asserted-by":"crossref","DOI":"10.4108\/ICST.SIMUTOOLS2010.8631","article-title":"Semantics for structured systems modelling and simulation","volume-title":"Proceedings of Simutools 2010","author":"Collinson","year":"2010"},{"key":"key\n\t\t\t\t20180607120736_B15","doi-asserted-by":"crossref","first-page":"1207","DOI":"10.1093\/logcom\/exp021","article-title":"A logical and computational theory of located resource","volume":"19","author":"Collinson","year":"2009","journal-title":"Journal of Logic and Computation"},{"key":"key\n\t\t\t\t20180607120736_B16","volume-title":"A Discipline of Mathematical Systems Modelling","author":"Collinson","year":"2012"},{"key":"key\n\t\t\t\t20180607120736_B17","volume-title":"Distributed Systems: Concepts and Design","author":"Coulouris","year":"2000","edition":"3rd"},{"key":"key\n\t\t\t\t20180607120736_B18"},{"key":"key\n\t\t\t\t20180607120736_B19","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/j.entcs.2007.02.013","article-title":"Remarks on testing probabilistic processes","volume":"172","author":"Deng","year":"2007","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180607120736_B20","doi-asserted-by":"crossref","first-page":"2537","DOI":"10.1016\/j.scico.2013.02.009","article-title":"Compositional reasoning for weighted Markov decision processes","volume":"78","author":"Deng","year":"2013","journal-title":"Science of Computer Programming"},{"key":"key\n\t\t\t\t20180607120736_B21"},{"key":"key\n\t\t\t\t20180607120736_B22","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic laws for nondeterminism and concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"Journal of the ACM"},{"key":"key\n\t\t\t\t20180607120736_B23","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/3-540-10003-2_79","article-title":"On observing nondeterminism and concurrency","volume-title":"Proceedings of the 7th International Colloquium on Automata, Languages, and Programming. Lecture Notes in Computer Science","author":"Hennessy","year":"1980"},{"key":"key\n\t\t\t\t20180607120736_B24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2241-6_12","article-title":"Compositional markovian modelling using a process algebra","volume-title":"Proceedings of the Second International Workshop on Numerical Solution of Markov Chains: Computations with Markov Chains","author":"Hillston","year":"1995"},{"key":"key\n\t\t\t\t20180607120736_B25","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"Hillston","year":"1996"},{"key":"key\n\t\t\t\t20180607120736_B26"},{"key":"key\n\t\t\t\t20180607120736_B27"},{"key":"key\n\t\t\t\t20180607120736_B28","volume-title":"The Art of Computer Systems Performance Analysis","author":"Jain","year":"1991"},{"key":"key\n\t\t\t\t20180607120736_B29","first-page":"607","article-title":"A temporal logic for Markov chains","volume-title":"Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems 2008","author":"Jamroga","year":"2008"},{"key":"key\n\t\t\t\t20180607120736_B30","first-page":"267","volume-title":"AAMAS '10: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems","author":"Kalech","year":"2010"},{"key":"key\n\t\t\t\t20180607120736_B31","volume-title":"Decisions with Multiple Objectives: Preferences and Value Tradeoffs","author":"Keeney","year":"1976"},{"key":"key\n\t\t\t\t20180607120736_B32"},{"key":"key\n\t\t\t\t20180607120736_B33","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/1530873.1530882","article-title":"PRISM: Probabilistic model checking for performance and reliability analysis","volume":"36","author":"Kwiatkowska","year":"2009","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"key":"key\n\t\t\t\t20180607120736_B34","first-page":"555","article-title":"Formalizing context","volume-title":"IJCAI","author":"McCarthy","year":"1993"},{"key":"key\n\t\t\t\t20180607120736_B35","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","article-title":"Calculi for synchrony and asynchrony","volume":"25","author":"Milner","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"key\n\t\t\t\t20180607120736_B36","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"key\n\t\t\t\t20180607120736_B37","doi-asserted-by":"crossref","first-page":"215","DOI":"10.2307\/421090","article-title":"The logic of bunched implications","volume":"5","author":"O'Hearn","year":"1999","journal-title":"Bulletin of Symbolic Logic"},{"key":"key\n\t\t\t\t20180607120736_B38","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1017\/S1755020311000244","article-title":"Preference based on reasons","volume":"5","author":"Osherson","year":"2012","journal-title":"The Review of Symbolic Logic"},{"key":"key\n\t\t\t\t20180607120736_B39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0269888904000116","article-title":"Trust in multi-agent systems","volume":"19","author":"Ramchurn","year":"2004","journal-title":"The Knowledge Engineering Review"},{"key":"key\n\t\t\t\t20180607120736_B40"},{"key":"key\n\t\t\t\t20180607120736_B41","volume-title":"Introduction to Probability Models (Ninth Editiion)","author":"Ross","year":"2006"},{"key":"key\n\t\t\t\t20180607120736_B42","volume-title":"Multiagent Systems","author":"Shoham","year":"2009"},{"key":"key\n\t\t\t\t20180607120736_B43"},{"key":"key\n\t\t\t\t20180607120736_B44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24611-4_1","article-title":"Probabilistic automata: system types, parallel composition and comparison","volume":"2925","author":"Sokolova","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"key\n\t\t\t\t20180607120736_B45"},{"key":"key\n\t\t\t\t20180607120736_B46","doi-asserted-by":"crossref","first-page":"536","DOI":"10.1007\/BF01211867","article-title":"Processes with probability, priority, and time","volume":"6","author":"Tofts","journal-title":"Formal Aspects of Computing"},{"key":"key\n\t\t\t\t20180607120736_B47","volume-title":"The Logic of Preference","author":"von Wright","year":"1963"},{"key":"key\n\t\t\t\t20180607120736_B48","first-page":"140","volume":"3","author":"von Wright","year":"1972","journal-title":"The Logic of Preference Reconsidered"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/28\/4\/665\/25020851\/exv030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T10:40:53Z","timestamp":1652438453000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article\/28\/4\/665\/2917808"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,13]]},"references-count":48,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2015,6,13]]},"published-print":{"date-parts":[[2018,6,7]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exv030","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2018,6]]},"published":{"date-parts":[[2015,6,13]]}}}