Matches in SemOpenAlex for { <https://semopenalex.org/work/W2373879591> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2373879591 abstract "Because the concept of bisimulations has emerged almost at the same time in computer science,modal logic and set theory,this paper attempts to give a general definition on this concept.The paper firstly briefs its origin and function;secondly,it defines the bisimulation between two labeled transition systems,and then explains how this definition produces the definition of the bisimulations in computer science,modal logic and set theory;finally,this paper proves some properties of bisimulation based on this definition." @default.
- W2373879591 created "2016-06-24" @default.
- W2373879591 creator A5021278390 @default.
- W2373879591 date "2010-01-01" @default.
- W2373879591 modified "2023-09-23" @default.
- W2373879591 title "Some Basic Properties of Bisimulation" @default.
- W2373879591 hasPublicationYear "2010" @default.
- W2373879591 type Work @default.
- W2373879591 sameAs 2373879591 @default.
- W2373879591 citedByCount "0" @default.
- W2373879591 crossrefType "journal-article" @default.
- W2373879591 hasAuthorship W2373879591A5021278390 @default.
- W2373879591 hasConcept C11413529 @default.
- W2373879591 hasConcept C118615104 @default.
- W2373879591 hasConcept C135315306 @default.
- W2373879591 hasConcept C136119220 @default.
- W2373879591 hasConcept C14036430 @default.
- W2373879591 hasConcept C177264268 @default.
- W2373879591 hasConcept C185592680 @default.
- W2373879591 hasConcept C188027245 @default.
- W2373879591 hasConcept C199343813 @default.
- W2373879591 hasConcept C199360897 @default.
- W2373879591 hasConcept C202444582 @default.
- W2373879591 hasConcept C27508121 @default.
- W2373879591 hasConcept C2777686260 @default.
- W2373879591 hasConcept C33923547 @default.
- W2373879591 hasConcept C41008148 @default.
- W2373879591 hasConcept C71139939 @default.
- W2373879591 hasConcept C71924100 @default.
- W2373879591 hasConcept C78458016 @default.
- W2373879591 hasConcept C80444323 @default.
- W2373879591 hasConcept C86803240 @default.
- W2373879591 hasConceptScore W2373879591C11413529 @default.
- W2373879591 hasConceptScore W2373879591C118615104 @default.
- W2373879591 hasConceptScore W2373879591C135315306 @default.
- W2373879591 hasConceptScore W2373879591C136119220 @default.
- W2373879591 hasConceptScore W2373879591C14036430 @default.
- W2373879591 hasConceptScore W2373879591C177264268 @default.
- W2373879591 hasConceptScore W2373879591C185592680 @default.
- W2373879591 hasConceptScore W2373879591C188027245 @default.
- W2373879591 hasConceptScore W2373879591C199343813 @default.
- W2373879591 hasConceptScore W2373879591C199360897 @default.
- W2373879591 hasConceptScore W2373879591C202444582 @default.
- W2373879591 hasConceptScore W2373879591C27508121 @default.
- W2373879591 hasConceptScore W2373879591C2777686260 @default.
- W2373879591 hasConceptScore W2373879591C33923547 @default.
- W2373879591 hasConceptScore W2373879591C41008148 @default.
- W2373879591 hasConceptScore W2373879591C71139939 @default.
- W2373879591 hasConceptScore W2373879591C71924100 @default.
- W2373879591 hasConceptScore W2373879591C78458016 @default.
- W2373879591 hasConceptScore W2373879591C80444323 @default.
- W2373879591 hasConceptScore W2373879591C86803240 @default.
- W2373879591 hasLocation W23738795911 @default.
- W2373879591 hasOpenAccess W2373879591 @default.
- W2373879591 hasPrimaryLocation W23738795911 @default.
- W2373879591 hasRelatedWork W1596619087 @default.
- W2373879591 hasRelatedWork W1865728679 @default.
- W2373879591 hasRelatedWork W1980535239 @default.
- W2373879591 hasRelatedWork W2011677188 @default.
- W2373879591 hasRelatedWork W2041961320 @default.
- W2373879591 hasRelatedWork W2078103992 @default.
- W2373879591 hasRelatedWork W2091970733 @default.
- W2373879591 hasRelatedWork W2102135785 @default.
- W2373879591 hasRelatedWork W2143249843 @default.
- W2373879591 hasRelatedWork W2169849200 @default.
- W2373879591 hasRelatedWork W2354904146 @default.
- W2373879591 hasRelatedWork W2360135384 @default.
- W2373879591 hasRelatedWork W2360904482 @default.
- W2373879591 hasRelatedWork W2376631750 @default.
- W2373879591 hasRelatedWork W2393457982 @default.
- W2373879591 hasRelatedWork W2409053464 @default.
- W2373879591 hasRelatedWork W2898466129 @default.
- W2373879591 hasRelatedWork W2963745823 @default.
- W2373879591 hasRelatedWork W3013924750 @default.
- W2373879591 hasRelatedWork W100298686 @default.
- W2373879591 isParatext "false" @default.
- W2373879591 isRetracted "false" @default.
- W2373879591 magId "2373879591" @default.
- W2373879591 workType "article" @default.