Matches in SemOpenAlex for { <https://semopenalex.org/work/W1526411667> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1526411667 endingPage "276" @default.
- W1526411667 startingPage "262" @default.
- W1526411667 abstract "A communication based language is presented. It allows to specify asynchronous systems of processes. Together with this language, we define an equivalence relation which is a congruence, merging both notions of complexity of accepted languages and of nondeterminism. This equivalence is generated by a preorder relation which allows to provide the processes set with a fully defined (and convergent) minimal element. It is also characterized by an axiom set that we prove to be sound and complete." @default.
- W1526411667 created "2016-06-24" @default.
- W1526411667 creator A5031978486 @default.
- W1526411667 date "1986-01-01" @default.
- W1526411667 modified "2023-09-26" @default.
- W1526411667 title "Towards specification and proof of asynchronous systems" @default.
- W1526411667 cites W1526411667 @default.
- W1526411667 cites W1978469611 @default.
- W1526411667 cites W1979462141 @default.
- W1526411667 cites W2110287808 @default.
- W1526411667 cites W2137865376 @default.
- W1526411667 cites W2147169623 @default.
- W1526411667 cites W4211008702 @default.
- W1526411667 doi "https://doi.org/10.1007/3-540-16078-7_82" @default.
- W1526411667 hasPublicationYear "1986" @default.
- W1526411667 type Work @default.
- W1526411667 sameAs 1526411667 @default.
- W1526411667 citedByCount "2" @default.
- W1526411667 crossrefType "book-chapter" @default.
- W1526411667 hasAuthorship W1526411667A5031978486 @default.
- W1526411667 hasBestOaLocation W15264116672 @default.
- W1526411667 hasConcept C11413529 @default.
- W1526411667 hasConcept C118615104 @default.
- W1526411667 hasConcept C135315306 @default.
- W1526411667 hasConcept C136119220 @default.
- W1526411667 hasConcept C151319957 @default.
- W1526411667 hasConcept C156103551 @default.
- W1526411667 hasConcept C167729594 @default.
- W1526411667 hasConcept C199360897 @default.
- W1526411667 hasConcept C202444582 @default.
- W1526411667 hasConcept C2333172 @default.
- W1526411667 hasConcept C2524010 @default.
- W1526411667 hasConcept C25343380 @default.
- W1526411667 hasConcept C2780069185 @default.
- W1526411667 hasConcept C31258907 @default.
- W1526411667 hasConcept C33923547 @default.
- W1526411667 hasConcept C41008148 @default.
- W1526411667 hasConcept C77088390 @default.
- W1526411667 hasConcept C80444323 @default.
- W1526411667 hasConcept C9973445 @default.
- W1526411667 hasConceptScore W1526411667C11413529 @default.
- W1526411667 hasConceptScore W1526411667C118615104 @default.
- W1526411667 hasConceptScore W1526411667C135315306 @default.
- W1526411667 hasConceptScore W1526411667C136119220 @default.
- W1526411667 hasConceptScore W1526411667C151319957 @default.
- W1526411667 hasConceptScore W1526411667C156103551 @default.
- W1526411667 hasConceptScore W1526411667C167729594 @default.
- W1526411667 hasConceptScore W1526411667C199360897 @default.
- W1526411667 hasConceptScore W1526411667C202444582 @default.
- W1526411667 hasConceptScore W1526411667C2333172 @default.
- W1526411667 hasConceptScore W1526411667C2524010 @default.
- W1526411667 hasConceptScore W1526411667C25343380 @default.
- W1526411667 hasConceptScore W1526411667C2780069185 @default.
- W1526411667 hasConceptScore W1526411667C31258907 @default.
- W1526411667 hasConceptScore W1526411667C33923547 @default.
- W1526411667 hasConceptScore W1526411667C41008148 @default.
- W1526411667 hasConceptScore W1526411667C77088390 @default.
- W1526411667 hasConceptScore W1526411667C80444323 @default.
- W1526411667 hasConceptScore W1526411667C9973445 @default.
- W1526411667 hasLocation W15264116671 @default.
- W1526411667 hasLocation W15264116672 @default.
- W1526411667 hasLocation W15264116673 @default.
- W1526411667 hasOpenAccess W1526411667 @default.
- W1526411667 hasPrimaryLocation W15264116671 @default.
- W1526411667 hasRelatedWork W1526411667 @default.
- W1526411667 hasRelatedWork W1626323918 @default.
- W1526411667 hasRelatedWork W2084969057 @default.
- W1526411667 hasRelatedWork W2136070637 @default.
- W1526411667 hasRelatedWork W2172211642 @default.
- W1526411667 hasRelatedWork W2385053982 @default.
- W1526411667 hasRelatedWork W2559705703 @default.
- W1526411667 hasRelatedWork W2916115287 @default.
- W1526411667 hasRelatedWork W4206501196 @default.
- W1526411667 hasRelatedWork W4296970324 @default.
- W1526411667 isParatext "false" @default.
- W1526411667 isRetracted "false" @default.
- W1526411667 magId "1526411667" @default.
- W1526411667 workType "book-chapter" @default.