Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105340963> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3105340963 endingPage "80" @default.
- W3105340963 startingPage "66" @default.
- W3105340963 abstract "TACS is an extension of CCS where upper time bounds for delays can be specified. Luettgen and Vogler defined three variants of bismulation-type faster-than relations and showed that they all three lead to the same preorder, demonstrating the robustness of their approach. In the present paper, the operational semantics of TACS is extended; it is shown that two of the variants still give the same preorder as before, underlining robustness. An explanation is given why this result fails for the third variant. It is also shown that another variant, which mixes old and new operational semantics, can lead to smaller relations that prove the same preorder." @default.
- W3105340963 created "2020-11-23" @default.
- W3105340963 creator A5066077952 @default.
- W3105340963 creator A5068573305 @default.
- W3105340963 date "2009-11-17" @default.
- W3105340963 modified "2023-10-01" @default.
- W3105340963 title "Robustness of a bisimulation-type faster-than preorder" @default.
- W3105340963 cites W1986296241 @default.
- W3105340963 cites W2001026449 @default.
- W3105340963 cites W2022360370 @default.
- W3105340963 cites W2039671145 @default.
- W3105340963 cites W2062969942 @default.
- W3105340963 cites W2110430770 @default.
- W3105340963 doi "https://doi.org/10.4204/eptcs.8.6" @default.
- W3105340963 hasPublicationYear "2009" @default.
- W3105340963 type Work @default.
- W3105340963 sameAs 3105340963 @default.
- W3105340963 citedByCount "0" @default.
- W3105340963 crossrefType "journal-article" @default.
- W3105340963 hasAuthorship W3105340963A5066077952 @default.
- W3105340963 hasAuthorship W3105340963A5068573305 @default.
- W3105340963 hasBestOaLocation W31053409631 @default.
- W3105340963 hasConcept C104317684 @default.
- W3105340963 hasConcept C11413529 @default.
- W3105340963 hasConcept C118615104 @default.
- W3105340963 hasConcept C135315306 @default.
- W3105340963 hasConcept C184337299 @default.
- W3105340963 hasConcept C185592680 @default.
- W3105340963 hasConcept C199360897 @default.
- W3105340963 hasConcept C2333172 @default.
- W3105340963 hasConcept C2778029271 @default.
- W3105340963 hasConcept C33923547 @default.
- W3105340963 hasConcept C41008148 @default.
- W3105340963 hasConcept C55493867 @default.
- W3105340963 hasConcept C63479239 @default.
- W3105340963 hasConcept C80444323 @default.
- W3105340963 hasConceptScore W3105340963C104317684 @default.
- W3105340963 hasConceptScore W3105340963C11413529 @default.
- W3105340963 hasConceptScore W3105340963C118615104 @default.
- W3105340963 hasConceptScore W3105340963C135315306 @default.
- W3105340963 hasConceptScore W3105340963C184337299 @default.
- W3105340963 hasConceptScore W3105340963C185592680 @default.
- W3105340963 hasConceptScore W3105340963C199360897 @default.
- W3105340963 hasConceptScore W3105340963C2333172 @default.
- W3105340963 hasConceptScore W3105340963C2778029271 @default.
- W3105340963 hasConceptScore W3105340963C33923547 @default.
- W3105340963 hasConceptScore W3105340963C41008148 @default.
- W3105340963 hasConceptScore W3105340963C55493867 @default.
- W3105340963 hasConceptScore W3105340963C63479239 @default.
- W3105340963 hasConceptScore W3105340963C80444323 @default.
- W3105340963 hasLocation W31053409631 @default.
- W3105340963 hasLocation W31053409632 @default.
- W3105340963 hasOpenAccess W3105340963 @default.
- W3105340963 hasPrimaryLocation W31053409631 @default.
- W3105340963 hasRelatedWork W1494381861 @default.
- W3105340963 hasRelatedWork W1587224678 @default.
- W3105340963 hasRelatedWork W1855927527 @default.
- W3105340963 hasRelatedWork W1878098282 @default.
- W3105340963 hasRelatedWork W2028133921 @default.
- W3105340963 hasRelatedWork W2043269379 @default.
- W3105340963 hasRelatedWork W2047793074 @default.
- W3105340963 hasRelatedWork W2106221267 @default.
- W3105340963 hasRelatedWork W2336345565 @default.
- W3105340963 hasRelatedWork W4250918063 @default.
- W3105340963 hasVolume "8" @default.
- W3105340963 isParatext "false" @default.
- W3105340963 isRetracted "false" @default.
- W3105340963 magId "3105340963" @default.
- W3105340963 workType "article" @default.