FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090881074> ?p ?o ?g. }

• W2090881074 endingPage "213" @default.
• W2090881074 startingPage "180" @default.
• W2090881074 abstract "We present a general and uniform method for defining structural operational semantics (SOS) of process operators by traditional Plotkin-style transition rules equipped with orderings. This new feature allows one to control the order of application of rules when deriving transitions of process terms. Our method is powerful enough to deal with rules with negative premises and copying. We show that rules with orderings, called ordered SOS rules, have the same expressive power as GSOS rules. We identify several classes of process languages with operators defined by rules with and without orderings in the setting with silent actions and divergence. We prove that branching bisimulation and eager bisimulation relations are preserved by all operators in process languages in the relevant classes." @default.
• W2090881074 created "2016-06-24" @default.
• W2090881074 creator A5049025668 @default.
• W2090881074 creator A5075535381 @default.
• W2090881074 date "2002-10-10" @default.
• W2090881074 modified "2023-09-27" @default.
• W2090881074 title "Ordered SOS Process Languages for Branching and Eager Bisimulations" @default.
• W2090881074 cites W1503973138 @default.
• W2090881074 cites W1509985362 @default.
• W2090881074 cites W1529352999 @default.
• W2090881074 cites W1531935507 @default.
• W2090881074 cites W1540576960 @default.
• W2090881074 cites W1547562281 @default.
• W2090881074 cites W1547752895 @default.
• W2090881074 cites W1587275578 @default.
• W2090881074 cites W1596381309 @default.
• W2090881074 cites W1791168610 @default.
• W2090881074 cites W1876334967 @default.
• W2090881074 cites W1954089014 @default.
• W2090881074 cites W1966112122 @default.
• W2090881074 cites W1972478730 @default.
• W2090881074 cites W1985161650 @default.
• W2090881074 cites W1990440312 @default.
• W2090881074 cites W1997305605 @default.
• W2090881074 cites W1999706742 @default.
• W2090881074 cites W2001026449 @default.
• W2090881074 cites W2007270285 @default.
• W2090881074 cites W2017189999 @default.
• W2090881074 cites W2039616607 @default.
• W2090881074 cites W2041561080 @default.
• W2090881074 cites W2050078030 @default.
• W2090881074 cites W2055894337 @default.
• W2090881074 cites W2070157304 @default.
• W2090881074 cites W2089546907 @default.
• W2090881074 cites W2101032471 @default.
• W2090881074 cites W2105135809 @default.
• W2090881074 cites W2105803012 @default.
• W2090881074 cites W2108796478 @default.
• W2090881074 cites W2120743705 @default.
• W2090881074 cites W2125382028 @default.
• W2090881074 cites W2126482744 @default.
• W2090881074 cites W2133409888 @default.
• W2090881074 cites W2136920408 @default.
• W2090881074 cites W2137250214 @default.
• W2090881074 cites W2167004912 @default.
• W2090881074 cites W2340102009 @default.
• W2090881074 cites W2913048148 @default.
• W2090881074 cites W2986375905 @default.
• W2090881074 cites W3144368627 @default.
• W2090881074 cites W609274549 @default.
• W2090881074 cites W1499733295 @default.
• W2090881074 doi "https://doi.org/10.1016/s0890-5401(02)93161-5" @default.
• W2090881074 hasPublicationYear "2002" @default.
• W2090881074 type Work @default.
• W2090881074 sameAs 2090881074 @default.
• W2090881074 citedByCount "32" @default.
• W2090881074 countsByYear W20908810742012 @default.
• W2090881074 countsByYear W20908810742013 @default.
• W2090881074 countsByYear W20908810742015 @default.
• W2090881074 countsByYear W20908810742016 @default.
• W2090881074 countsByYear W20908810742017 @default.
• W2090881074 countsByYear W20908810742018 @default.
• W2090881074 countsByYear W20908810742019 @default.
• W2090881074 countsByYear W20908810742020 @default.
• W2090881074 crossrefType "journal-article" @default.
• W2090881074 hasAuthorship W2090881074A5049025668 @default.
• W2090881074 hasAuthorship W2090881074A5075535381 @default.
• W2090881074 hasBestOaLocation W20908810741 @default.
• W2090881074 hasConcept C135315306 @default.
• W2090881074 hasConcept C156325763 @default.
• W2090881074 hasConcept C159985019 @default.
• W2090881074 hasConcept C161771561 @default.
• W2090881074 hasConcept C17744445 @default.
• W2090881074 hasConcept C184337299 @default.
• W2090881074 hasConcept C192562407 @default.
• W2090881074 hasConcept C195818886 @default.
• W2090881074 hasConcept C199360897 @default.
• W2090881074 hasConcept C199539241 @default.
• W2090881074 hasConcept C206175624 @default.
• W2090881074 hasConcept C2779151265 @default.
• W2090881074 hasConcept C33923547 @default.
• W2090881074 hasConcept C41008148 @default.
• W2090881074 hasConcept C80444323 @default.
• W2090881074 hasConcept C98045186 @default.
• W2090881074 hasConceptScore W2090881074C135315306 @default.
• W2090881074 hasConceptScore W2090881074C156325763 @default.
• W2090881074 hasConceptScore W2090881074C159985019 @default.
• W2090881074 hasConceptScore W2090881074C161771561 @default.
• W2090881074 hasConceptScore W2090881074C17744445 @default.
• W2090881074 hasConceptScore W2090881074C184337299 @default.
• W2090881074 hasConceptScore W2090881074C192562407 @default.
• W2090881074 hasConceptScore W2090881074C195818886 @default.
• W2090881074 hasConceptScore W2090881074C199360897 @default.
• W2090881074 hasConceptScore W2090881074C199539241 @default.
• W2090881074 hasConceptScore W2090881074C206175624 @default.
• W2090881074 hasConceptScore W2090881074C2779151265 @default.
• W2090881074 hasConceptScore W2090881074C33923547 @default.
• W2090881074 hasConceptScore W2090881074C41008148 @default.

• next