Matches in SemOpenAlex for { <https://semopenalex.org/work/W2293498240> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2293498240 endingPage "538" @default.
- W2293498240 startingPage "519" @default.
- W2293498240 abstract "MSOS is a variant of structural operational semantics with a natural representation of unobservable transitions. To prove various desirable laws for programming constructs specified in MSOS, bisimulation should disregard unobservable transitions, and it should be a congruence. One approach, following Van Glabbeek, is to add abstraction rules and use strong bisimulation with MSOS specifications in an existing congruence format. Another approach is to use weak bisimulation with specifications in an adaptation of Bloom’s WB Cool congruence format to MSOS. We compare the two approaches, and relate unobservable transitions in MSOS to equations in Rewriting Logic." @default.
- W2293498240 created "2016-06-24" @default.
- W2293498240 creator A5024030639 @default.
- W2293498240 creator A5081843559 @default.
- W2293498240 date "2015-01-01" @default.
- W2293498240 modified "2023-09-26" @default.
- W2293498240 title "Weak Bisimulation as a Congruence in MSOS" @default.
- W2293498240 cites W1503794828 @default.
- W2293498240 cites W152792930 @default.
- W2293498240 cites W1528430173 @default.
- W2293498240 cites W1537633678 @default.
- W2293498240 cites W1554594749 @default.
- W2293498240 cites W1607636120 @default.
- W2293498240 cites W1740437405 @default.
- W2293498240 cites W1825532689 @default.
- W2293498240 cites W1966112122 @default.
- W2293498240 cites W1972475472 @default.
- W2293498240 cites W1976195354 @default.
- W2293498240 cites W1990687394 @default.
- W2293498240 cites W1999706742 @default.
- W2293498240 cites W2006766139 @default.
- W2293498240 cites W2015688007 @default.
- W2293498240 cites W2016799432 @default.
- W2293498240 cites W2029176884 @default.
- W2293498240 cites W2033663641 @default.
- W2293498240 cites W2041561080 @default.
- W2293498240 cites W2073492176 @default.
- W2293498240 cites W2077592849 @default.
- W2293498240 cites W2104917880 @default.
- W2293498240 cites W2127971324 @default.
- W2293498240 cites W2149278248 @default.
- W2293498240 cites W2160468758 @default.
- W2293498240 cites W2293498240 @default.
- W2293498240 cites W2492089900 @default.
- W2293498240 cites W28354576 @default.
- W2293498240 cites W369805404 @default.
- W2293498240 cites W4211195649 @default.
- W2293498240 doi "https://doi.org/10.1007/978-3-319-23165-5_24" @default.
- W2293498240 hasPublicationYear "2015" @default.
- W2293498240 type Work @default.
- W2293498240 sameAs 2293498240 @default.
- W2293498240 citedByCount "1" @default.
- W2293498240 countsByYear W22934982402015 @default.
- W2293498240 crossrefType "book-chapter" @default.
- W2293498240 hasAuthorship W2293498240A5024030639 @default.
- W2293498240 hasAuthorship W2293498240A5081843559 @default.
- W2293498240 hasConcept C132074034 @default.
- W2293498240 hasConcept C135315306 @default.
- W2293498240 hasConcept C136119220 @default.
- W2293498240 hasConcept C202444582 @default.
- W2293498240 hasConcept C2524010 @default.
- W2293498240 hasConcept C33923547 @default.
- W2293498240 hasConcept C41008148 @default.
- W2293498240 hasConcept C80444323 @default.
- W2293498240 hasConceptScore W2293498240C132074034 @default.
- W2293498240 hasConceptScore W2293498240C135315306 @default.
- W2293498240 hasConceptScore W2293498240C136119220 @default.
- W2293498240 hasConceptScore W2293498240C202444582 @default.
- W2293498240 hasConceptScore W2293498240C2524010 @default.
- W2293498240 hasConceptScore W2293498240C33923547 @default.
- W2293498240 hasConceptScore W2293498240C41008148 @default.
- W2293498240 hasConceptScore W2293498240C80444323 @default.
- W2293498240 hasLocation W22934982401 @default.
- W2293498240 hasOpenAccess W2293498240 @default.
- W2293498240 hasPrimaryLocation W22934982401 @default.
- W2293498240 hasRelatedWork W1525103753 @default.
- W2293498240 hasRelatedWork W1543496272 @default.
- W2293498240 hasRelatedWork W2003374054 @default.
- W2293498240 hasRelatedWork W2118219143 @default.
- W2293498240 hasRelatedWork W2121936893 @default.
- W2293498240 hasRelatedWork W2153976524 @default.
- W2293498240 hasRelatedWork W2156746546 @default.
- W2293498240 hasRelatedWork W2333925524 @default.
- W2293498240 hasRelatedWork W2410897890 @default.
- W2293498240 hasRelatedWork W2739034326 @default.
- W2293498240 isParatext "false" @default.
- W2293498240 isRetracted "false" @default.
- W2293498240 magId "2293498240" @default.
- W2293498240 workType "book-chapter" @default.