Matches in SemOpenAlex for { <https://semopenalex.org/work/W2995723866> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2995723866 abstract "Bigraph was proposed as a formal theoretical model in attempt to provide a rigorous platform for designing, simulating and analyzing ubiquitous computing systems. As the mathematical basis of bigraphs, bigraphical categories become important aspects of their theory and they are related to precategoy, category, s-category, wide category and symmetric partial monoidal category. However, we detect trouble spots in the construction of bigraphical quotient category and illustrate that not all s-category can be converted to the symmetric partial monoidal category by the support quotient. Both support quotient and lean-support quotient, hence, are not always the symmetric partial monoidal category. And, likewise, the quotient wide s-category may not the wide symmetric partial monoidal category in general. Also, quotient wide re-active system may not be abstract, consequently for the same reason. There-fore, we must make clear what conditions on s-category allow us to obtain a symmetric partial monoidal category, and ensure that the behavioral congruence is preserved for the abstract bigraphical reactive system." @default.
- W2995723866 created "2019-12-26" @default.
- W2995723866 creator A5012094328 @default.
- W2995723866 creator A5079162665 @default.
- W2995723866 date "2019-01-01" @default.
- W2995723866 modified "2023-09-27" @default.
- W2995723866 title "On the Constructions of Bigraphical Categories" @default.
- W2995723866 cites W1638945901 @default.
- W2995723866 cites W1685612739 @default.
- W2995723866 cites W2198066051 @default.
- W2995723866 cites W2413103864 @default.
- W2995723866 cites W2516894032 @default.
- W2995723866 cites W2912058352 @default.
- W2995723866 cites W4233076421 @default.
- W2995723866 cites W4294621147 @default.
- W2995723866 doi "https://doi.org/10.1007/978-981-15-1922-2_17" @default.
- W2995723866 hasPublicationYear "2019" @default.
- W2995723866 type Work @default.
- W2995723866 sameAs 2995723866 @default.
- W2995723866 citedByCount "0" @default.
- W2995723866 crossrefType "book-chapter" @default.
- W2995723866 hasAuthorship W2995723866A5012094328 @default.
- W2995723866 hasAuthorship W2995723866A5079162665 @default.
- W2995723866 hasConcept C132074034 @default.
- W2995723866 hasConcept C136119220 @default.
- W2995723866 hasConcept C156163052 @default.
- W2995723866 hasConcept C156772000 @default.
- W2995723866 hasConcept C199422724 @default.
- W2995723866 hasConcept C202444582 @default.
- W2995723866 hasConcept C2524010 @default.
- W2995723866 hasConcept C33923547 @default.
- W2995723866 hasConcept C41008148 @default.
- W2995723866 hasConcept C46263353 @default.
- W2995723866 hasConcept C56208153 @default.
- W2995723866 hasConcept C76069219 @default.
- W2995723866 hasConcept C7879355 @default.
- W2995723866 hasConcept C98912367 @default.
- W2995723866 hasConceptScore W2995723866C132074034 @default.
- W2995723866 hasConceptScore W2995723866C136119220 @default.
- W2995723866 hasConceptScore W2995723866C156163052 @default.
- W2995723866 hasConceptScore W2995723866C156772000 @default.
- W2995723866 hasConceptScore W2995723866C199422724 @default.
- W2995723866 hasConceptScore W2995723866C202444582 @default.
- W2995723866 hasConceptScore W2995723866C2524010 @default.
- W2995723866 hasConceptScore W2995723866C33923547 @default.
- W2995723866 hasConceptScore W2995723866C41008148 @default.
- W2995723866 hasConceptScore W2995723866C46263353 @default.
- W2995723866 hasConceptScore W2995723866C56208153 @default.
- W2995723866 hasConceptScore W2995723866C76069219 @default.
- W2995723866 hasConceptScore W2995723866C7879355 @default.
- W2995723866 hasConceptScore W2995723866C98912367 @default.
- W2995723866 hasLocation W29957238661 @default.
- W2995723866 hasOpenAccess W2995723866 @default.
- W2995723866 hasPrimaryLocation W29957238661 @default.
- W2995723866 hasRelatedWork W1533461724 @default.
- W2995723866 hasRelatedWork W2038202577 @default.
- W2995723866 hasRelatedWork W2064792687 @default.
- W2995723866 hasRelatedWork W2068528966 @default.
- W2995723866 hasRelatedWork W2126163117 @default.
- W2995723866 hasRelatedWork W2288880934 @default.
- W2995723866 hasRelatedWork W2488035445 @default.
- W2995723866 hasRelatedWork W2507045798 @default.
- W2995723866 hasRelatedWork W2518814599 @default.
- W2995723866 hasRelatedWork W2559918060 @default.
- W2995723866 hasRelatedWork W2590701505 @default.
- W2995723866 hasRelatedWork W2891591078 @default.
- W2995723866 hasRelatedWork W2891718318 @default.
- W2995723866 hasRelatedWork W2963810482 @default.
- W2995723866 hasRelatedWork W2964280361 @default.
- W2995723866 hasRelatedWork W2964343583 @default.
- W2995723866 hasRelatedWork W2995772018 @default.
- W2995723866 hasRelatedWork W2998447709 @default.
- W2995723866 hasRelatedWork W3082642538 @default.
- W2995723866 hasRelatedWork W87152114 @default.
- W2995723866 isParatext "false" @default.
- W2995723866 isRetracted "false" @default.
- W2995723866 magId "2995723866" @default.
- W2995723866 workType "book-chapter" @default.