{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T10:32:18Z","timestamp":1776335538794,"version":"3.51.2"},"publisher-location":"Cham","reference-count":43,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031873447","type":"print"},{"value":"9783031873454","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-87345-4_4","type":"book-chapter","created":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:33:44Z","timestamp":1745800424000},"page":"48-71","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Minimalistic System Modelling: Behaviours, Interfaces, and\u00a0Local Reasoning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9968-5323","authenticated-orcid":false,"given":"Didier","family":"Galmiche","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8257-968X","authenticated-orcid":false,"given":"Timo","family":"Lang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6504-5838","authenticated-orcid":false,"given":"David","family":"Pym","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,4,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"de\u00a0Alfaro, L., Henzinger, T.: Interface automata. In: ESEC\/FSE 2001, pp. 109\u2013120. ACM (2001)","DOI":"10.1145\/503271.503226"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"Embedded Software","author":"L de Alfaro","year":"2001","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface theories for component-based design. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 148\u2013165. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45449-7_11"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.tcs.2015.11.035","volume":"614","author":"G Anderson","year":"2016","unstructured":"Anderson, G., Pym, D.: A calculus and logic of bunched resources and processes. Theor. Comput. Sci. 614, 63\u201396 (2016)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1007\/3-540-44919-1_12","volume-title":"Applications and Theory of Petri Nets 2003","author":"MA Bednarczyk","year":"2003","unstructured":"Bednarczyk, M.A., Bernardinello, L., Caillaud, B., Paw\u0142owski, W., Pomello, L.: Modular system development with pullbacks. In: van der Aalst, W., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 140\u2013160. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_12"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01160018","volume":"3","author":"J van Benthem","year":"1994","unstructured":"van Benthem, J., Bergstra, J.: Logic of transition systems. J. Logic Lang. Inform. 3, 247\u2013283 (1994)","journal-title":"J. Logic Lang. Inform."},{"key":"4_CR6","unstructured":"Bezanson, J., Karpinski, S., Shah, V.B., Edelman, A.: Julia: a fast dynamic language for technical computing (2012). arXiv:1209.5145"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Birtwistle, G.: Demos\u2014Discrete Event Modelling on Simula. Macmillan (1979)","DOI":"10.1007\/978-1-4899-6685-8"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Brewer, E.: Towards robust distributed systems (abstract). In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, PODC 2000, p.\u00a07. Association for Computing Machinery, New York (2000). https:\/\/doi.org\/10.1145\/343477.343502","DOI":"10.1145\/343477.343502"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MC.2012.37","volume":"45","author":"E Brewer","year":"2012","unstructured":"Brewer, E.: CAP twelve years later: how the \u2018rules\u2019 have changed. Computer 45(2), 23\u201329 (2012). https:\/\/doi.org\/10.1109\/MC.2012.37","journal-title":"Computer"},{"key":"4_CR11","unstructured":"Butler, M.J.: Mastering system analysis and design through abstraction and refinement (2013). University of Southampton eprints. https:\/\/eprints.soton.ac.uk\/349769\/1\/Butler.pdf. Accessed 22 Mar 2023"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Caulfield, T., Ilau, M.C., Pym, D.: Engineering ecosystem models: semantics and pragmatics. In: International Conference on Simulation Tools and Techniques, pp. 236\u2013258. Springer, Cham (2022)","DOI":"10.1007\/978-3-030-97124-3_21"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Caulfield, T., Pym, D.: Modelling and simulating systems security policy. In: Proceedings of the SimuTools (2015)","DOI":"10.4108\/eai.24-8-2015.2260765"},{"key":"4_CR14","unstructured":"Caulfield, T.: SysModels Julia Package. https:\/\/github.com\/tristanc\/SysModels. Accessed 20 Sept 2024"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Caulfield, T., Pym, D.: Modelling and simulating systems security policy. EAI Endorsed Trans. Security Saf. (Proc. Simutools 2016, Prague) 3(8), e3 (2016)","DOI":"10.4108\/eai.24-8-2015.2260765"},{"key":"4_CR16","volume-title":"A Discipline of Mathematical Systems Modelling","author":"M Collinson","year":"2012","unstructured":"Collinson, M., Monahan, B., Pym, D.: A Discipline of Mathematical Systems Modelling. College Publications, London (2012)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"959","DOI":"10.1017\/S0960129509990077","volume":"19","author":"M Collinson","year":"2009","unstructured":"Collinson, M., Pym, D.: Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19, 959\u20131027 (2009). https:\/\/doi.org\/10.1017\/S0960129509990077","journal-title":"Math. Struct. Comput. Sci."},{"key":"4_CR18","unstructured":"Collinson, M., Monahan, B., Pym, D.: Semantics for structured systems modelling and simulation. In: Proceedings of the Simutools 2010. ACM Digital Library (2010). ISBN 78-963-9799-87-5"},{"key":"4_CR19","unstructured":"Dam, M.: Relevance logic and concurrent computation. Ph.D. thesis, University of Edinburgh (1989)"},{"key":"4_CR20","unstructured":"Docherty, S.: Bunched logics: a uniform approach. Ph.D. thesis, University College London (2019)"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/978-3-319-89366-2_24","volume-title":"Foundations of Software Science and Computation Structures","author":"S Docherty","year":"2018","unstructured":"Docherty, S., Pym, D.: Modular tableaux calculi for separation theories. In: Baier, C., Dal Lago, U. (eds.) FoSSaCS 2018. LNCS, vol. 10803, pp. 441\u2013458. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-89366-2_24"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Fitting, M.: First-order Logic and Automated Theorem Proving. Texts and Monographs in Computer Science. Springer, Cham (1990)","DOI":"10.1007\/978-1-4684-0357-2"},{"issue":"3","key":"4_CR23","first-page":"52","volume":"73","author":"J Forrester","year":"1971","unstructured":"Forrester, J.: Counterintuitive behavior of social systems. Technol. Rev. 73(3), 52\u201368 (1971)","journal-title":"Technol. Rev."},{"issue":"8","key":"4_CR24","doi-asserted-by":"publisher","first-page":"1251","DOI":"10.1093\/logcom\/exz024","volume":"29","author":"D Galmiche","year":"2020","unstructured":"Galmiche, D., Kimmel, P., Pym, D.: A substructural epistemic resource logic: theory and modelling applications. J. Logic Comput. 29(8), 1251\u20131287 (2020). https:\/\/doi.org\/10.1093\/logcom\/exz024","journal-title":"J. Logic Comput."},{"issue":"6","key":"4_CR25","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1017\/S0960129505004858","volume":"15","author":"D Galmiche","year":"2005","unstructured":"Galmiche, D., M\u00e9ry, D., Pym, D.: The semantics of BI and resource tableaux. Math. Struct. Comput. Sci. 15(6), 1033\u20131088 (2005). https:\/\/doi.org\/10.1017\/S0960129505004858","journal-title":"Math. Struct. Comput. Sci."},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1145\/564585.564601","volume":"33","author":"S Gilbert","year":"2002","unstructured":"Gilbert, S., Lynch, N.: Brewer\u2019s conjecture and the feasibility of consistent, available, partition-tolerant web services. ACM SIGACT News 33(2), 51\u201359 (2002). https:\/\/doi.org\/10.1145\/564585.564601","journal-title":"ACM SIGACT News"},{"key":"4_CR27","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MC.2011.389","volume":"45","author":"S Gilbert","year":"2012","unstructured":"Gilbert, S., Lynch, N.: Perspectives on the CAP Theorem. IEEE Comput. 45, 30\u201336 (2012). https:\/\/doi.org\/10.1109\/MC.2011.389","journal-title":"IEEE Comput."},{"key":"4_CR28","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)"},{"key":"4_CR29","volume-title":"Communicating Sequential Processes","author":"C Hoare","year":"1985","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice-Hall Inc., USA (1985)"},{"key":"4_CR30","doi-asserted-by":"publisher","unstructured":"Ishtiaq, S., O\u2019Hearn, P.W.: Bi as an assertion language for mutable data structures. In: Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2001, pp. 14\u201326. Association for Computing Machinery (2001). https:\/\/doi.org\/10.1145\/360204.375719","DOI":"10.1145\/360204.375719"},{"key":"4_CR31","unstructured":"Julia. http:\/\/julialang.org"},{"issue":"2","key":"4_CR32","doi-asserted-by":"publisher","first-page":"605","DOI":"10.1093\/logcom\/exu031","volume":"26","author":"D Larchey-Wendling","year":"2014","unstructured":"Larchey-Wendling, D.: The formal strong completeness of partial monoidal Boolean BI. J. Logic Comput. 26(2), 605\u2013640 (2014). https:\/\/doi.org\/10.1093\/logcom\/exu031","journal-title":"J. Logic Comput."},{"key":"4_CR33","unstructured":"Lynch, N., Tuttle, M.: An introduction to input\/output automata. Laboratory for Computer Science, Massachusetts Institute of Technology (1988)"},{"key":"4_CR34","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall Inc., USA (1989)"},{"key":"4_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-45832-8_3","volume-title":"Graph Transformation","author":"R Milner","year":"2002","unstructured":"Milner, R.: Bigraphs as a model for mobile interaction. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 8\u201313. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45832-8_3"},{"key":"4_CR36","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/j.entcs.2008.04.002","volume":"209","author":"R Milner","year":"2008","unstructured":"Milner, R.: Bigraphs and their algebra. Electron. Notes Theor. Comput. Sci. 209, 5\u201319 (2008)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"issue":"2","key":"4_CR37","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/3211968","volume":"62","author":"P O\u2019Hearn","year":"2019","unstructured":"O\u2019Hearn, P.: Separation logic. Commun. ACM 62(2), 86\u201395 (2019)","journal-title":"Commun. ACM"},{"issue":"2","key":"4_CR38","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/3326938.3326940","volume":"6","author":"DJ Pym","year":"2019","unstructured":"Pym, D.J.: Resource semantics: logic as a modelling technology. ACM SIGLOG News 6(2), 5\u201341 (2019). https:\/\/doi.org\/10.1145\/3326938.3326940","journal-title":"ACM SIGLOG News"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Separation logic: a logic for shared mutable data structures. In: Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science, LICS 2002, pp. 55\u201374. IEEE Computer Society, USA (2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Smullyan, R.M.: First-Order Logic. Dover (1968)","DOI":"10.1007\/978-3-642-86718-7"},{"key":"4_CR41","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3550-5","volume-title":"Modal and Temporal Properties of Processes","author":"C Stirling","year":"2001","unstructured":"Stirling, C.: Modal and Temporal Properties of Processes. Springer, Cham (2001)"},{"issue":"4","key":"4_CR42","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1985342.1985345","volume":"33","author":"S Tripakis","year":"2011","unstructured":"Tripakis, S., Lickly, B., Henzinger, T., Lee, E.: A theory of synchronous relational interfaces. ACM Trans. Program. Lang. Syst. 33(4), 1\u201341 (2011)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR43","doi-asserted-by":"crossref","unstructured":"\u00d6ren, T., Zeigler, B.P., Tolk, A. (eds.): Body of Knowledge for Modeling and Simulation: A Handbook by the Society for Modeling and Simulation International (Simulation Foundations, Methods and Applications). Springer, Cham (2023)","DOI":"10.1007\/978-3-031-11085-6"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Simulation Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-87345-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T12:23:43Z","timestamp":1757161423000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-87345-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031873447","9783031873454"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-87345-4_4","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"29 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SIMUtools","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Simulation Tools and Techniques","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bratislava","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Slovakia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 December 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 December 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"simutools2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/simutools.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}