Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129121027> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2129121027 endingPage "288" @default.
- W2129121027 startingPage "273" @default.
- W2129121027 abstract "We extend the model of transition systems with independence in order to provide it with a feature relevant in the noninterleaving analysis of concurrent systems, namely multi-arcs. Moreover, we study the relationships between the category of transition systems with independence and multi-arcs and the category of labeled asynchronous transition systems, extending the results recently obtained by the authors for (simple) transition systems with independence (cf. Proc. CONCUR'96), and yielding a precise characterisation of transition systems with independence and multi-arcs in terms of (event-maximal, diamond-extensional) labeled asynchronous transition systems." @default.
- W2129121027 created "2016-06-24" @default.
- W2129121027 creator A5067426975 @default.
- W2129121027 creator A5082171323 @default.
- W2129121027 date "1997-02-01" @default.
- W2129121027 modified "2023-09-26" @default.
- W2129121027 title "Transition systems with independence and multi-arcs" @default.
- W2129121027 cites W1487534524 @default.
- W2129121027 cites W1494049105 @default.
- W2129121027 cites W1503973138 @default.
- W2129121027 cites W1523525039 @default.
- W2129121027 cites W1528441743 @default.
- W2129121027 cites W1595472131 @default.
- W2129121027 cites W1604194452 @default.
- W2129121027 cites W1852271819 @default.
- W2129121027 cites W1934074768 @default.
- W2129121027 cites W1968552123 @default.
- W2129121027 cites W1978994556 @default.
- W2129121027 cites W2124302819 @default.
- W2129121027 cites W2129296169 @default.
- W2129121027 cites W2136920408 @default.
- W2129121027 cites W2173961470 @default.
- W2129121027 cites W2296604987 @default.
- W2129121027 cites W2340102009 @default.
- W2129121027 cites W2464131888 @default.
- W2129121027 cites W3144368627 @default.
- W2129121027 hasPublicationYear "1997" @default.
- W2129121027 type Work @default.
- W2129121027 sameAs 2129121027 @default.
- W2129121027 citedByCount "0" @default.
- W2129121027 crossrefType "journal-article" @default.
- W2129121027 hasAuthorship W2129121027A5067426975 @default.
- W2129121027 hasAuthorship W2129121027A5082171323 @default.
- W2129121027 hasConcept C104317684 @default.
- W2129121027 hasConcept C105795698 @default.
- W2129121027 hasConcept C111472728 @default.
- W2129121027 hasConcept C121332964 @default.
- W2129121027 hasConcept C138885662 @default.
- W2129121027 hasConcept C151319957 @default.
- W2129121027 hasConcept C185592680 @default.
- W2129121027 hasConcept C194232998 @default.
- W2129121027 hasConcept C2779662365 @default.
- W2129121027 hasConcept C2780586882 @default.
- W2129121027 hasConcept C31258907 @default.
- W2129121027 hasConcept C33923547 @default.
- W2129121027 hasConcept C35651441 @default.
- W2129121027 hasConcept C41008148 @default.
- W2129121027 hasConcept C55493867 @default.
- W2129121027 hasConcept C62520636 @default.
- W2129121027 hasConceptScore W2129121027C104317684 @default.
- W2129121027 hasConceptScore W2129121027C105795698 @default.
- W2129121027 hasConceptScore W2129121027C111472728 @default.
- W2129121027 hasConceptScore W2129121027C121332964 @default.
- W2129121027 hasConceptScore W2129121027C138885662 @default.
- W2129121027 hasConceptScore W2129121027C151319957 @default.
- W2129121027 hasConceptScore W2129121027C185592680 @default.
- W2129121027 hasConceptScore W2129121027C194232998 @default.
- W2129121027 hasConceptScore W2129121027C2779662365 @default.
- W2129121027 hasConceptScore W2129121027C2780586882 @default.
- W2129121027 hasConceptScore W2129121027C31258907 @default.
- W2129121027 hasConceptScore W2129121027C33923547 @default.
- W2129121027 hasConceptScore W2129121027C35651441 @default.
- W2129121027 hasConceptScore W2129121027C41008148 @default.
- W2129121027 hasConceptScore W2129121027C55493867 @default.
- W2129121027 hasConceptScore W2129121027C62520636 @default.
- W2129121027 hasLocation W21291210271 @default.
- W2129121027 hasOpenAccess W2129121027 @default.
- W2129121027 hasPrimaryLocation W21291210271 @default.
- W2129121027 hasRelatedWork W112646350 @default.
- W2129121027 hasRelatedWork W1479776502 @default.
- W2129121027 hasRelatedWork W1531571467 @default.
- W2129121027 hasRelatedWork W1542561613 @default.
- W2129121027 hasRelatedWork W1545104606 @default.
- W2129121027 hasRelatedWork W1561850623 @default.
- W2129121027 hasRelatedWork W1571721126 @default.
- W2129121027 hasRelatedWork W1572904664 @default.
- W2129121027 hasRelatedWork W1608340630 @default.
- W2129121027 hasRelatedWork W2026388404 @default.
- W2129121027 hasRelatedWork W2047702174 @default.
- W2129121027 hasRelatedWork W2062964969 @default.
- W2129121027 hasRelatedWork W2098375541 @default.
- W2129121027 hasRelatedWork W2569377242 @default.
- W2129121027 hasRelatedWork W2607612372 @default.
- W2129121027 hasRelatedWork W2613072641 @default.
- W2129121027 hasRelatedWork W2951085356 @default.
- W2129121027 hasRelatedWork W2952874197 @default.
- W2129121027 hasRelatedWork W2963914049 @default.
- W2129121027 hasRelatedWork W87444791 @default.
- W2129121027 isParatext "false" @default.
- W2129121027 isRetracted "false" @default.
- W2129121027 magId "2129121027" @default.
- W2129121027 workType "article" @default.