https://www.scipedia.com/wd/index.php?action=history&feed=atom&title=Bj%C3%B8rner_2014a 2026-05-07T23:33:43Z Revision history for this page on the wiki MediaWiki 1.27.0-wmf.10 https://www.scipedia.com/wd/index.php?title=Bj%C3%B8rner_2014a&diff=181696&oldid=prev 2021-01-21T12:18:49Z

<p>Scipediacontent moved page <a href="/public/Draft_Content_205889145" class="mw-redirect" title="Draft Content 205889145">Draft Content 205889145</a> to <a href="/public/Bj%C3%B8rner_2014a" title="Bjørner 2014a">Bjørner 2014a</a></p> <table class="diff diff-contentalign-left" data-mw="interface"> <tr style='vertical-align: top;' lang='en'> <td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 12:18, 21 January 2021</td> </tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

Scipediacontent https://www.scipedia.com/wd/index.php?title=Bj%C3%B8rner_2014a&diff=181695&oldid=prev 2021-01-21T12:18:46Z

<p>Created page with &quot; == Abstract == We give an abstract model of parts and part-hood relations of software application domains such as the financial service industry, railway systems, road trans...&quot;</p> <p><b>New page</b></p><div><br /> == Abstract ==<br /> <br /> We give an abstract model of parts and part-hood relations of software application domains such as the financial service industry, railway systems, road transport systems, health-care, oil pipelines, secure [IT] systems, etcetera. We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes.<br /> <br /> <br /> == Original document ==<br /> <br /> The different versions of the original document can be found in:<br /> <br /> * [http://www2.imm.dtu.dk/~dibj/bjorner-urbino.pdf http://www2.imm.dtu.dk/~dibj/bjorner-urbino.pdf]<br /> <br /> * [http://link.springer.com/content/pdf/10.1007/978-3-319-05356-1_12 http://link.springer.com/content/pdf/10.1007/978-3-319-05356-1_12],<br /> : [http://dx.doi.org/10.1007/978-3-319-05356-1_12 http://dx.doi.org/10.1007/978-3-319-05356-1_12]<br /> <br /> * [https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12 https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12],<br /> : [http://www.imm.dtu.dk/~dibj/bjorner-urbino.pdf http://www.imm.dtu.dk/~dibj/bjorner-urbino.pdf],<br /> : [https://rd.springer.com/chapter/10.1007/978-3-319-05356-1_12 https://rd.springer.com/chapter/10.1007/978-3-319-05356-1_12],<br /> : [https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12/fulltext.html https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12/fulltext.html],<br /> : [https://academic.microsoft.com/#/detail/2122906243 https://academic.microsoft.com/#/detail/2122906243]</div>

Scipediacontent