FRINK Linked Data Fragments server

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

• W1498433537 abstract "This paper studies the relationships between three notions of behavioural preorder that have been proposed in the literature: refinement over modal transition systems, and the covariant-contravariant simulation and the partial bisimulation preorders over labelled transition systems. It is shown that there are mutual translations between modal transition systems and labelled transition systems that preserve, and reflect, refinement and the covariant-contravariant simulation preorder. The translations are also shown to preserve the modal properties that can be expressed in the logics that characterize those preorders. A translation from labelled transition systems modulo the partial bisimulation preorder into the same model modulo the covariant-contravariant simulation preorder is also offered, together with some evidence that the former model is less expressive than the latter. In order to gain more insight into the relationships between modal transition systems modulo refinement and labelled transition systems modulo the covariant-contravariant simulation preorder, their connections are also phrased and studied in the context of institutions." @default.
• W1498433537 created "2016-06-24" @default.
• W1498433537 creator A5016540152 @default.
• W1498433537 creator A5041913577 @default.
• W1498433537 creator A5045544723 @default.
• W1498433537 creator A5076184186 @default.
• W1498433537 creator A5077617115 @default.
• W1498433537 date "2012-01-01" @default.
• W1498433537 modified "2023-10-14" @default.
• W1498433537 title "Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations" @default.
• W1498433537 cites W1530757677 @default.
• W1498433537 cites W1547562281 @default.
• W1498433537 cites W1599333409 @default.
• W1498433537 cites W1819534143 @default.
• W1498433537 cites W1968829301 @default.
• W1498433537 cites W1974141623 @default.
• W1498433537 cites W1979349468 @default.
• W1498433537 cites W2025280888 @default.
• W1498433537 cites W2117519330 @default.
• W1498433537 cites W2914011863 @default.
• W1498433537 doi "https://doi.org/10.1007/978-3-642-29320-7_18" @default.
• W1498433537 hasPublicationYear "2012" @default.
• W1498433537 type Work @default.
• W1498433537 sameAs 1498433537 @default.
• W1498433537 citedByCount "3" @default.
• W1498433537 countsByYear W14984335372015 @default.
• W1498433537 countsByYear W14984335372017 @default.
• W1498433537 crossrefType "book-chapter" @default.
• W1498433537 hasAuthorship W1498433537A5016540152 @default.
• W1498433537 hasAuthorship W1498433537A5041913577 @default.
• W1498433537 hasAuthorship W1498433537A5045544723 @default.
• W1498433537 hasAuthorship W1498433537A5076184186 @default.
• W1498433537 hasAuthorship W1498433537A5077617115 @default.
• W1498433537 hasConcept C11191006 @default.
• W1498433537 hasConcept C11413529 @default.
• W1498433537 hasConcept C118615104 @default.
• W1498433537 hasConcept C127413603 @default.
• W1498433537 hasConcept C135315306 @default.
• W1498433537 hasConcept C136119220 @default.
• W1498433537 hasConcept C151730666 @default.
• W1498433537 hasConcept C173125200 @default.
• W1498433537 hasConcept C185592680 @default.
• W1498433537 hasConcept C188027245 @default.
• W1498433537 hasConcept C192328126 @default.
• W1498433537 hasConcept C202444582 @default.
• W1498433537 hasConcept C206236147 @default.
• W1498433537 hasConcept C2333172 @default.
• W1498433537 hasConcept C24326235 @default.
• W1498433537 hasConcept C2524010 @default.
• W1498433537 hasConcept C27508121 @default.
• W1498433537 hasConcept C2779167558 @default.
• W1498433537 hasConcept C2779343474 @default.
• W1498433537 hasConcept C33923547 @default.
• W1498433537 hasConcept C41008148 @default.
• W1498433537 hasConcept C54732982 @default.
• W1498433537 hasConcept C55439883 @default.
• W1498433537 hasConcept C71139939 @default.
• W1498433537 hasConcept C80444323 @default.
• W1498433537 hasConcept C86803240 @default.
• W1498433537 hasConcept C9136319 @default.
• W1498433537 hasConceptScore W1498433537C11191006 @default.
• W1498433537 hasConceptScore W1498433537C11413529 @default.
• W1498433537 hasConceptScore W1498433537C118615104 @default.
• W1498433537 hasConceptScore W1498433537C127413603 @default.
• W1498433537 hasConceptScore W1498433537C135315306 @default.
• W1498433537 hasConceptScore W1498433537C136119220 @default.
• W1498433537 hasConceptScore W1498433537C151730666 @default.
• W1498433537 hasConceptScore W1498433537C173125200 @default.
• W1498433537 hasConceptScore W1498433537C185592680 @default.
• W1498433537 hasConceptScore W1498433537C188027245 @default.
• W1498433537 hasConceptScore W1498433537C192328126 @default.
• W1498433537 hasConceptScore W1498433537C202444582 @default.
• W1498433537 hasConceptScore W1498433537C206236147 @default.
• W1498433537 hasConceptScore W1498433537C2333172 @default.
• W1498433537 hasConceptScore W1498433537C24326235 @default.
• W1498433537 hasConceptScore W1498433537C2524010 @default.
• W1498433537 hasConceptScore W1498433537C27508121 @default.
• W1498433537 hasConceptScore W1498433537C2779167558 @default.
• W1498433537 hasConceptScore W1498433537C2779343474 @default.
• W1498433537 hasConceptScore W1498433537C33923547 @default.
• W1498433537 hasConceptScore W1498433537C41008148 @default.
• W1498433537 hasConceptScore W1498433537C54732982 @default.
• W1498433537 hasConceptScore W1498433537C55439883 @default.
• W1498433537 hasConceptScore W1498433537C71139939 @default.
• W1498433537 hasConceptScore W1498433537C80444323 @default.
• W1498433537 hasConceptScore W1498433537C86803240 @default.
• W1498433537 hasConceptScore W1498433537C9136319 @default.
• W1498433537 hasLocation W14984335371 @default.
• W1498433537 hasOpenAccess W1498433537 @default.
• W1498433537 hasPrimaryLocation W14984335371 @default.
• W1498433537 hasRelatedWork W149473297 @default.
• W1498433537 hasRelatedWork W1500812389 @default.
• W1498433537 hasRelatedWork W1521909147 @default.
• W1498433537 hasRelatedWork W1582247340 @default.
• W1498433537 hasRelatedWork W1582425024 @default.
• W1498433537 hasRelatedWork W1791118392 @default.
• W1498433537 hasRelatedWork W1969246386 @default.
• W1498433537 hasRelatedWork W2005848350 @default.
• W1498433537 hasRelatedWork W2044267876 @default.
• W1498433537 hasRelatedWork W2047702174 @default.

• next