Matches in SemOpenAlex for { <https://semopenalex.org/work/W4979087> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4979087 abstract "This paper is concerned with an exploration of the relationship between the formalisations of the notions of concurrency and nondeterminism in Petri nets and in process algebras. A novel timed process algebra whose notions of nondeterminism and concurrency are particularly easy to represent in nets will be presented; it is intended as a tool for specifying and reasoning about the detailed behaviour of implementations of distributed systems. This process algebra, interval process algebra, is given a non-interleaving semantics using timed asynchronous transition systems." @default.
- W4979087 created "2016-06-24" @default.
- W4979087 creator A5015186870 @default.
- W4979087 date "1991-01-01" @default.
- W4979087 modified "2023-09-27" @default.
- W4979087 title "Timed Process Algebra, Petri Nets, and Event Refinement" @default.
- W4979087 cites W1571377821 @default.
- W4979087 cites W1572904664 @default.
- W4979087 cites W2006733177 @default.
- W4979087 cites W2102097307 @default.
- W4979087 doi "https://doi.org/10.1007/978-1-4471-3756-6_20" @default.
- W4979087 hasPublicationYear "1991" @default.
- W4979087 type Work @default.
- W4979087 sameAs 4979087 @default.
- W4979087 citedByCount "6" @default.
- W4979087 crossrefType "book-chapter" @default.
- W4979087 hasAuthorship W4979087A5015186870 @default.
- W4979087 hasConcept C111919701 @default.
- W4979087 hasConcept C136119220 @default.
- W4979087 hasConcept C151319957 @default.
- W4979087 hasConcept C155214134 @default.
- W4979087 hasConcept C156325763 @default.
- W4979087 hasConcept C161771561 @default.
- W4979087 hasConcept C184337299 @default.
- W4979087 hasConcept C193702766 @default.
- W4979087 hasConcept C199360897 @default.
- W4979087 hasConcept C202444582 @default.
- W4979087 hasConcept C26713055 @default.
- W4979087 hasConcept C28034677 @default.
- W4979087 hasConcept C31258907 @default.
- W4979087 hasConcept C33923547 @default.
- W4979087 hasConcept C38677869 @default.
- W4979087 hasConcept C41008148 @default.
- W4979087 hasConcept C80444323 @default.
- W4979087 hasConcept C98045186 @default.
- W4979087 hasConceptScore W4979087C111919701 @default.
- W4979087 hasConceptScore W4979087C136119220 @default.
- W4979087 hasConceptScore W4979087C151319957 @default.
- W4979087 hasConceptScore W4979087C155214134 @default.
- W4979087 hasConceptScore W4979087C156325763 @default.
- W4979087 hasConceptScore W4979087C161771561 @default.
- W4979087 hasConceptScore W4979087C184337299 @default.
- W4979087 hasConceptScore W4979087C193702766 @default.
- W4979087 hasConceptScore W4979087C199360897 @default.
- W4979087 hasConceptScore W4979087C202444582 @default.
- W4979087 hasConceptScore W4979087C26713055 @default.
- W4979087 hasConceptScore W4979087C28034677 @default.
- W4979087 hasConceptScore W4979087C31258907 @default.
- W4979087 hasConceptScore W4979087C33923547 @default.
- W4979087 hasConceptScore W4979087C38677869 @default.
- W4979087 hasConceptScore W4979087C41008148 @default.
- W4979087 hasConceptScore W4979087C80444323 @default.
- W4979087 hasConceptScore W4979087C98045186 @default.
- W4979087 hasLocation W49790871 @default.
- W4979087 hasOpenAccess W4979087 @default.
- W4979087 hasPrimaryLocation W49790871 @default.
- W4979087 hasRelatedWork W148790599 @default.
- W4979087 hasRelatedWork W1512562944 @default.
- W4979087 hasRelatedWork W1556838231 @default.
- W4979087 hasRelatedWork W1588031665 @default.
- W4979087 hasRelatedWork W1597355050 @default.
- W4979087 hasRelatedWork W1632351212 @default.
- W4979087 hasRelatedWork W1888379695 @default.
- W4979087 hasRelatedWork W1895718941 @default.
- W4979087 hasRelatedWork W1994133310 @default.
- W4979087 hasRelatedWork W2004172447 @default.
- W4979087 hasRelatedWork W2037230951 @default.
- W4979087 hasRelatedWork W2073122176 @default.
- W4979087 hasRelatedWork W2116285023 @default.
- W4979087 hasRelatedWork W2122859326 @default.
- W4979087 hasRelatedWork W2137093994 @default.
- W4979087 hasRelatedWork W2139360109 @default.
- W4979087 hasRelatedWork W22766579 @default.
- W4979087 hasRelatedWork W2583336106 @default.
- W4979087 hasRelatedWork W3022715948 @default.
- W4979087 hasRelatedWork W79517406 @default.
- W4979087 isParatext "false" @default.
- W4979087 isRetracted "false" @default.
- W4979087 magId "4979087" @default.
- W4979087 workType "book-chapter" @default.