79479952-F3E2-45BD-B91A-9931AFD8606EInterface reasoning for interacting systems (IRIS).Research GrantEP/R006865/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL614607517965179-2907-4471-B0F6-9E96F4F5AF62Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings8af3ad42b6e25fd8b9d3428cace60bafDocherty S2018-01-01http://dx.doi.org/10.1007/978-3-319-89366-2_242190-5738http://dx.doi.org/10.1007/978-3-319-89366-2_24Modular Tableaux Calculi for Separation Theories441-458Book Chapter5c814dec1262f1.53154992