Matches in SemOpenAlex for { <https://semopenalex.org/work/W866370416> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W866370416 endingPage "55" @default.
- W866370416 startingPage "50" @default.
- W866370416 abstract "This paper carries out a systematic investigation into the bisimulation lattice of asymmetric chi calculus with a mismatch combinator. It is shown that all the sixty three L-bisimilarities collapse to twelve distinct relations and they form a bisimulation lattice with respect to set inclusion. The top of the lattice coincides with the barbed bisimilarity." @default.
- W866370416 created "2016-06-24" @default.
- W866370416 creator A5023058988 @default.
- W866370416 creator A5026708634 @default.
- W866370416 creator A5052719984 @default.
- W866370416 creator A5069519377 @default.
- W866370416 creator A5077959358 @default.
- W866370416 date "2003-01-01" @default.
- W866370416 modified "2023-09-27" @default.
- W866370416 title "Bisimulation Lattice of Asymmetric Chi Calculus with Mismatch" @default.
- W866370416 hasPublicationYear "2003" @default.
- W866370416 type Work @default.
- W866370416 sameAs 866370416 @default.
- W866370416 citedByCount "0" @default.
- W866370416 crossrefType "journal-article" @default.
- W866370416 hasAuthorship W866370416A5023058988 @default.
- W866370416 hasAuthorship W866370416A5026708634 @default.
- W866370416 hasAuthorship W866370416A5052719984 @default.
- W866370416 hasAuthorship W866370416A5069519377 @default.
- W866370416 hasAuthorship W866370416A5077959358 @default.
- W866370416 hasConcept C118615104 @default.
- W866370416 hasConcept C121332964 @default.
- W866370416 hasConcept C135315306 @default.
- W866370416 hasConcept C199343813 @default.
- W866370416 hasConcept C199360897 @default.
- W866370416 hasConcept C202444582 @default.
- W866370416 hasConcept C24890656 @default.
- W866370416 hasConcept C2777686260 @default.
- W866370416 hasConcept C2781204021 @default.
- W866370416 hasConcept C33923547 @default.
- W866370416 hasConcept C41008148 @default.
- W866370416 hasConcept C71924100 @default.
- W866370416 hasConcept C79678938 @default.
- W866370416 hasConceptScore W866370416C118615104 @default.
- W866370416 hasConceptScore W866370416C121332964 @default.
- W866370416 hasConceptScore W866370416C135315306 @default.
- W866370416 hasConceptScore W866370416C199343813 @default.
- W866370416 hasConceptScore W866370416C199360897 @default.
- W866370416 hasConceptScore W866370416C202444582 @default.
- W866370416 hasConceptScore W866370416C24890656 @default.
- W866370416 hasConceptScore W866370416C2777686260 @default.
- W866370416 hasConceptScore W866370416C2781204021 @default.
- W866370416 hasConceptScore W866370416C33923547 @default.
- W866370416 hasConceptScore W866370416C41008148 @default.
- W866370416 hasConceptScore W866370416C71924100 @default.
- W866370416 hasConceptScore W866370416C79678938 @default.
- W866370416 hasIssue "4" @default.
- W866370416 hasLocation W8663704161 @default.
- W866370416 hasOpenAccess W866370416 @default.
- W866370416 hasPrimaryLocation W8663704161 @default.
- W866370416 hasRelatedWork W1977004540 @default.
- W866370416 hasRelatedWork W1994985438 @default.
- W866370416 hasRelatedWork W2056591580 @default.
- W866370416 hasRelatedWork W2094121903 @default.
- W866370416 hasRelatedWork W2122016309 @default.
- W866370416 hasRelatedWork W2615988713 @default.
- W866370416 hasRelatedWork W2964232903 @default.
- W866370416 hasVolume "9" @default.
- W866370416 isParatext "false" @default.
- W866370416 isRetracted "false" @default.
- W866370416 magId "866370416" @default.
- W866370416 workType "article" @default.