Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103657718> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2103657718 endingPage "145" @default.
- W2103657718 startingPage "136" @default.
- W2103657718 abstract "This paper is an attempt to integrate the algebra of communicating processes (ACP) and the algebra of flownomials (AF). Basically, this means to combine axiomatized parallel and looping operators. To this end we introduce a model of process graphs with multiple entries and exits. In this model the usual operations of both algebras are defined, e.g. alternative composition (this covers both the sum of ACP and the disjoint sum of AF), sequential composition, feedback, parallel composition, left merge, communication merge, encapsulation, etc. The main results consist of correct and complete axiomatisations of process graphs modulo isomorphism and modulo bisimulation.Key words & Phrasesprocess algebrafeedbackflowchart theories" @default.
- W2103657718 created "2016-06-24" @default.
- W2103657718 creator A5032380170 @default.
- W2103657718 creator A5068711611 @default.
- W2103657718 date "1995-01-01" @default.
- W2103657718 modified "2023-10-17" @default.
- W2103657718 title "Processes with multiple entries and exits" @default.
- W2103657718 cites W1547562281 @default.
- W2103657718 cites W1570445666 @default.
- W2103657718 cites W1966603771 @default.
- W2103657718 cites W1972478730 @default.
- W2103657718 cites W1984416558 @default.
- W2103657718 cites W2024074683 @default.
- W2103657718 cites W2060903041 @default.
- W2103657718 cites W2110147204 @default.
- W2103657718 cites W2114817587 @default.
- W2103657718 cites W2137865376 @default.
- W2103657718 cites W4212873186 @default.
- W2103657718 cites W4240176614 @default.
- W2103657718 cites W4244719572 @default.
- W2103657718 doi "https://doi.org/10.1007/3-540-60249-6_46" @default.
- W2103657718 hasPublicationYear "1995" @default.
- W2103657718 type Work @default.
- W2103657718 sameAs 2103657718 @default.
- W2103657718 citedByCount "1" @default.
- W2103657718 crossrefType "book-chapter" @default.
- W2103657718 hasAuthorship W2103657718A5032380170 @default.
- W2103657718 hasAuthorship W2103657718A5068711611 @default.
- W2103657718 hasBestOaLocation W21036577182 @default.
- W2103657718 hasConcept C115624301 @default.
- W2103657718 hasConcept C118615104 @default.
- W2103657718 hasConcept C135315306 @default.
- W2103657718 hasConcept C161771561 @default.
- W2103657718 hasConcept C173608175 @default.
- W2103657718 hasConcept C185592680 @default.
- W2103657718 hasConcept C197129107 @default.
- W2103657718 hasConcept C203436722 @default.
- W2103657718 hasConcept C33923547 @default.
- W2103657718 hasConcept C41008148 @default.
- W2103657718 hasConcept C45340560 @default.
- W2103657718 hasConcept C54732982 @default.
- W2103657718 hasConcept C8010536 @default.
- W2103657718 hasConcept C80444323 @default.
- W2103657718 hasConceptScore W2103657718C115624301 @default.
- W2103657718 hasConceptScore W2103657718C118615104 @default.
- W2103657718 hasConceptScore W2103657718C135315306 @default.
- W2103657718 hasConceptScore W2103657718C161771561 @default.
- W2103657718 hasConceptScore W2103657718C173608175 @default.
- W2103657718 hasConceptScore W2103657718C185592680 @default.
- W2103657718 hasConceptScore W2103657718C197129107 @default.
- W2103657718 hasConceptScore W2103657718C203436722 @default.
- W2103657718 hasConceptScore W2103657718C33923547 @default.
- W2103657718 hasConceptScore W2103657718C41008148 @default.
- W2103657718 hasConceptScore W2103657718C45340560 @default.
- W2103657718 hasConceptScore W2103657718C54732982 @default.
- W2103657718 hasConceptScore W2103657718C8010536 @default.
- W2103657718 hasConceptScore W2103657718C80444323 @default.
- W2103657718 hasLocation W21036577181 @default.
- W2103657718 hasLocation W21036577182 @default.
- W2103657718 hasOpenAccess W2103657718 @default.
- W2103657718 hasPrimaryLocation W21036577181 @default.
- W2103657718 hasRelatedWork W1487429213 @default.
- W2103657718 hasRelatedWork W1496329601 @default.
- W2103657718 hasRelatedWork W1523099581 @default.
- W2103657718 hasRelatedWork W1544082280 @default.
- W2103657718 hasRelatedWork W1563206798 @default.
- W2103657718 hasRelatedWork W1590488372 @default.
- W2103657718 hasRelatedWork W1596995239 @default.
- W2103657718 hasRelatedWork W1649561845 @default.
- W2103657718 hasRelatedWork W183639852 @default.
- W2103657718 hasRelatedWork W2011998974 @default.
- W2103657718 hasRelatedWork W2041808519 @default.
- W2103657718 hasRelatedWork W2096639003 @default.
- W2103657718 hasRelatedWork W2161061431 @default.
- W2103657718 hasRelatedWork W2165037445 @default.
- W2103657718 hasRelatedWork W2406954416 @default.
- W2103657718 hasRelatedWork W2594632061 @default.
- W2103657718 hasRelatedWork W2797255456 @default.
- W2103657718 hasRelatedWork W2887980230 @default.
- W2103657718 hasRelatedWork W3093815185 @default.
- W2103657718 hasRelatedWork W3103485545 @default.
- W2103657718 isParatext "false" @default.
- W2103657718 isRetracted "false" @default.
- W2103657718 magId "2103657718" @default.
- W2103657718 workType "book-chapter" @default.