Matches in SemOpenAlex for { <https://semopenalex.org/work/W2770745742> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2770745742 endingPage "108" @default.
- W2770745742 startingPage "91" @default.
- W2770745742 abstract "We give an abstract model1 of parts and part-hood relations, of Stanisław Leśniewski's mereology [2]. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc. 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 [3], that is: a λ-expression." @default.
- W2770745742 created "2017-12-04" @default.
- W2770745742 creator A5038481049 @default.
- W2770745742 date "2018-01-01" @default.
- W2770745742 modified "2023-10-02" @default.
- W2770745742 title "To every manifest domain a CSP expression – a rôle for mereology in computer science" @default.
- W2770745742 cites W1963829561 @default.
- W2770745742 cites W2011855313 @default.
- W2770745742 cites W2045255985 @default.
- W2770745742 cites W2045829403 @default.
- W2770745742 cites W2122906243 @default.
- W2770745742 cites W2488880159 @default.
- W2770745742 doi "https://doi.org/10.1016/j.jlamp.2017.09.005" @default.
- W2770745742 hasPublicationYear "2018" @default.
- W2770745742 type Work @default.
- W2770745742 sameAs 2770745742 @default.
- W2770745742 citedByCount "4" @default.
- W2770745742 countsByYear W27707457422018 @default.
- W2770745742 countsByYear W27707457422019 @default.
- W2770745742 countsByYear W27707457422023 @default.
- W2770745742 crossrefType "journal-article" @default.
- W2770745742 hasAuthorship W2770745742A5038481049 @default.
- W2770745742 hasBestOaLocation W27707457421 @default.
- W2770745742 hasConcept C111472728 @default.
- W2770745742 hasConcept C134306372 @default.
- W2770745742 hasConcept C138885662 @default.
- W2770745742 hasConcept C152385842 @default.
- W2770745742 hasConcept C154945302 @default.
- W2770745742 hasConcept C167729594 @default.
- W2770745742 hasConcept C199360897 @default.
- W2770745742 hasConcept C2524010 @default.
- W2770745742 hasConcept C2777212361 @default.
- W2770745742 hasConcept C33923547 @default.
- W2770745742 hasConcept C36503486 @default.
- W2770745742 hasConcept C41008148 @default.
- W2770745742 hasConcept C80444323 @default.
- W2770745742 hasConcept C90559484 @default.
- W2770745742 hasConceptScore W2770745742C111472728 @default.
- W2770745742 hasConceptScore W2770745742C134306372 @default.
- W2770745742 hasConceptScore W2770745742C138885662 @default.
- W2770745742 hasConceptScore W2770745742C152385842 @default.
- W2770745742 hasConceptScore W2770745742C154945302 @default.
- W2770745742 hasConceptScore W2770745742C167729594 @default.
- W2770745742 hasConceptScore W2770745742C199360897 @default.
- W2770745742 hasConceptScore W2770745742C2524010 @default.
- W2770745742 hasConceptScore W2770745742C2777212361 @default.
- W2770745742 hasConceptScore W2770745742C33923547 @default.
- W2770745742 hasConceptScore W2770745742C36503486 @default.
- W2770745742 hasConceptScore W2770745742C41008148 @default.
- W2770745742 hasConceptScore W2770745742C80444323 @default.
- W2770745742 hasConceptScore W2770745742C90559484 @default.
- W2770745742 hasLocation W27707457421 @default.
- W2770745742 hasLocation W27707457422 @default.
- W2770745742 hasOpenAccess W2770745742 @default.
- W2770745742 hasPrimaryLocation W27707457421 @default.
- W2770745742 hasRelatedWork W1544966513 @default.
- W2770745742 hasRelatedWork W1975586409 @default.
- W2770745742 hasRelatedWork W2007304042 @default.
- W2770745742 hasRelatedWork W2385944329 @default.
- W2770745742 hasRelatedWork W2554405749 @default.
- W2770745742 hasRelatedWork W2773863053 @default.
- W2770745742 hasRelatedWork W2902279350 @default.
- W2770745742 hasRelatedWork W2946465907 @default.
- W2770745742 hasRelatedWork W3096722223 @default.
- W2770745742 hasRelatedWork W4206422476 @default.
- W2770745742 hasVolume "94" @default.
- W2770745742 isParatext "false" @default.
- W2770745742 isRetracted "false" @default.
- W2770745742 magId "2770745742" @default.
- W2770745742 workType "article" @default.