Matches in SemOpenAlex for { <https://semopenalex.org/work/W1541912827> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W1541912827 endingPage "394" @default.
- W1541912827 startingPage "380" @default.
- W1541912827 abstract "We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational meta-model which subsumes other variants of bigraphs. First we consider wide transition systems whose labels are all those generated by the IPO construction; the corresponding bisimulation is always a congruence. Then, we show that these LTSs can be simplified further by restricting to a subclass of labels, which can be characterized syntactically.We apply this theory to the Fusion calculus: we give an encoding of Fusion in directed bigraphs, and describe its simplified wide transition system and corresponding bisimulation." @default.
- W1541912827 created "2016-06-24" @default.
- W1541912827 creator A5024162879 @default.
- W1541912827 creator A5045582569 @default.
- W1541912827 date "2007-08-18" @default.
- W1541912827 modified "2023-09-27" @default.
- W1541912827 title "Reactive Systems over Directed Bigraphs" @default.
- W1541912827 cites W1495299640 @default.
- W1541912827 cites W1969001723 @default.
- W1541912827 cites W1971095420 @default.
- W1541912827 doi "https://doi.org/10.1007/978-3-540-74407-8_26" @default.
- W1541912827 hasPublicationYear "2007" @default.
- W1541912827 type Work @default.
- W1541912827 sameAs 1541912827 @default.
- W1541912827 citedByCount "24" @default.
- W1541912827 countsByYear W15419128272012 @default.
- W1541912827 countsByYear W15419128272020 @default.
- W1541912827 crossrefType "book-chapter" @default.
- W1541912827 hasAuthorship W1541912827A5024162879 @default.
- W1541912827 hasAuthorship W1541912827A5045582569 @default.
- W1541912827 hasBestOaLocation W15419128272 @default.
- W1541912827 hasConcept C125411270 @default.
- W1541912827 hasConcept C132074034 @default.
- W1541912827 hasConcept C135315306 @default.
- W1541912827 hasConcept C154945302 @default.
- W1541912827 hasConcept C2524010 @default.
- W1541912827 hasConcept C2779167558 @default.
- W1541912827 hasConcept C33923547 @default.
- W1541912827 hasConcept C41008148 @default.
- W1541912827 hasConcept C80444323 @default.
- W1541912827 hasConceptScore W1541912827C125411270 @default.
- W1541912827 hasConceptScore W1541912827C132074034 @default.
- W1541912827 hasConceptScore W1541912827C135315306 @default.
- W1541912827 hasConceptScore W1541912827C154945302 @default.
- W1541912827 hasConceptScore W1541912827C2524010 @default.
- W1541912827 hasConceptScore W1541912827C2779167558 @default.
- W1541912827 hasConceptScore W1541912827C33923547 @default.
- W1541912827 hasConceptScore W1541912827C41008148 @default.
- W1541912827 hasConceptScore W1541912827C80444323 @default.
- W1541912827 hasLocation W15419128271 @default.
- W1541912827 hasLocation W15419128272 @default.
- W1541912827 hasOpenAccess W1541912827 @default.
- W1541912827 hasPrimaryLocation W15419128271 @default.
- W1541912827 hasRelatedWork W1483510990 @default.
- W1541912827 hasRelatedWork W1524031113 @default.
- W1541912827 hasRelatedWork W2139706745 @default.
- W1541912827 hasRelatedWork W2162510824 @default.
- W1541912827 hasRelatedWork W2164625502 @default.
- W1541912827 hasRelatedWork W2167838019 @default.
- W1541912827 hasRelatedWork W2807761056 @default.
- W1541912827 hasRelatedWork W3081656401 @default.
- W1541912827 hasRelatedWork W3144317787 @default.
- W1541912827 hasRelatedWork W81345837 @default.
- W1541912827 isParatext "false" @default.
- W1541912827 isRetracted "false" @default.
- W1541912827 magId "1541912827" @default.
- W1541912827 workType "book-chapter" @default.