Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499684449> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1499684449 endingPage "27" @default.
- W1499684449 startingPage "20" @default.
- W1499684449 abstract "Abstract. The formalism of modal transition systems (MTS) is awell established framework for systems specification as well asabstract interpretation. Nevertheless, due to incapability tocapture some useful features, various extensions have beenstudied, such as e.g. mixed transition systems or disjunctiveMTS. Thus a need to compare them has emerged. Therefore, weintroduce transition system with obligations as a general modelencompassing all the aforementioned models, and equip it with aprocess algebra description. Using these instruments, we thencompare the previously studied subclasses and characterizetheir relationships." @default.
- W1499684449 created "2016-06-24" @default.
- W1499684449 creator A5045342585 @default.
- W1499684449 creator A5074485601 @default.
- W1499684449 date "2010-01-01" @default.
- W1499684449 modified "2023-09-22" @default.
- W1499684449 title "Process Algebra for Modal Transition Systemses" @default.
- W1499684449 cites W1481843134 @default.
- W1499684449 cites W1890744503 @default.
- W1499684449 cites W2090106217 @default.
- W1499684449 cites W2108128207 @default.
- W1499684449 cites W2133959263 @default.
- W1499684449 cites W2148106163 @default.
- W1499684449 cites W2164253200 @default.
- W1499684449 doi "https://doi.org/10.4230/oasics.memics.2010.9" @default.
- W1499684449 hasPublicationYear "2010" @default.
- W1499684449 type Work @default.
- W1499684449 sameAs 1499684449 @default.
- W1499684449 citedByCount "3" @default.
- W1499684449 countsByYear W14996844492012 @default.
- W1499684449 countsByYear W14996844492013 @default.
- W1499684449 crossrefType "proceedings-article" @default.
- W1499684449 hasAuthorship W1499684449A5045342585 @default.
- W1499684449 hasAuthorship W1499684449A5074485601 @default.
- W1499684449 hasConcept C104317684 @default.
- W1499684449 hasConcept C136119220 @default.
- W1499684449 hasConcept C142362112 @default.
- W1499684449 hasConcept C153349607 @default.
- W1499684449 hasConcept C161771561 @default.
- W1499684449 hasConcept C185592680 @default.
- W1499684449 hasConcept C188027245 @default.
- W1499684449 hasConcept C194232998 @default.
- W1499684449 hasConcept C199360897 @default.
- W1499684449 hasConcept C202444582 @default.
- W1499684449 hasConcept C2779167558 @default.
- W1499684449 hasConcept C33923547 @default.
- W1499684449 hasConcept C41008148 @default.
- W1499684449 hasConcept C527412718 @default.
- W1499684449 hasConcept C55493867 @default.
- W1499684449 hasConcept C558565934 @default.
- W1499684449 hasConcept C71139939 @default.
- W1499684449 hasConcept C73301696 @default.
- W1499684449 hasConcept C80444323 @default.
- W1499684449 hasConcept C98045186 @default.
- W1499684449 hasConceptScore W1499684449C104317684 @default.
- W1499684449 hasConceptScore W1499684449C136119220 @default.
- W1499684449 hasConceptScore W1499684449C142362112 @default.
- W1499684449 hasConceptScore W1499684449C153349607 @default.
- W1499684449 hasConceptScore W1499684449C161771561 @default.
- W1499684449 hasConceptScore W1499684449C185592680 @default.
- W1499684449 hasConceptScore W1499684449C188027245 @default.
- W1499684449 hasConceptScore W1499684449C194232998 @default.
- W1499684449 hasConceptScore W1499684449C199360897 @default.
- W1499684449 hasConceptScore W1499684449C202444582 @default.
- W1499684449 hasConceptScore W1499684449C2779167558 @default.
- W1499684449 hasConceptScore W1499684449C33923547 @default.
- W1499684449 hasConceptScore W1499684449C41008148 @default.
- W1499684449 hasConceptScore W1499684449C527412718 @default.
- W1499684449 hasConceptScore W1499684449C55493867 @default.
- W1499684449 hasConceptScore W1499684449C558565934 @default.
- W1499684449 hasConceptScore W1499684449C71139939 @default.
- W1499684449 hasConceptScore W1499684449C73301696 @default.
- W1499684449 hasConceptScore W1499684449C80444323 @default.
- W1499684449 hasConceptScore W1499684449C98045186 @default.
- W1499684449 hasLocation W14996844491 @default.
- W1499684449 hasOpenAccess W1499684449 @default.
- W1499684449 hasPrimaryLocation W14996844491 @default.
- W1499684449 hasRelatedWork W143219598 @default.
- W1499684449 hasRelatedWork W1481843134 @default.
- W1499684449 hasRelatedWork W1507173517 @default.
- W1499684449 hasRelatedWork W1590315663 @default.
- W1499684449 hasRelatedWork W1667182944 @default.
- W1499684449 hasRelatedWork W1890744503 @default.
- W1499684449 hasRelatedWork W191732302 @default.
- W1499684449 hasRelatedWork W1959890433 @default.
- W1499684449 hasRelatedWork W1963951244 @default.
- W1499684449 hasRelatedWork W1987070417 @default.
- W1499684449 hasRelatedWork W2032848199 @default.
- W1499684449 hasRelatedWork W2058885253 @default.
- W1499684449 hasRelatedWork W2062964969 @default.
- W1499684449 hasRelatedWork W2099090794 @default.
- W1499684449 hasRelatedWork W2108128207 @default.
- W1499684449 hasRelatedWork W2117519330 @default.
- W1499684449 hasRelatedWork W2133724574 @default.
- W1499684449 hasRelatedWork W2148106163 @default.
- W1499684449 hasRelatedWork W2276486526 @default.
- W1499684449 hasRelatedWork W4125734 @default.
- W1499684449 hasVolume "16" @default.
- W1499684449 isParatext "false" @default.
- W1499684449 isRetracted "false" @default.
- W1499684449 magId "1499684449" @default.
- W1499684449 workType "article" @default.