Matches in SemOpenAlex for { <https://semopenalex.org/work/W1576906336> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1576906336 endingPage "62" @default.
- W1576906336 startingPage "47" @default.
- W1576906336 abstract "We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actions and passage of time. The operational semantics is a spent time semantics, avoiding explicit clocks. We discuss the embedding of weak-choice real-time process theories and analyze the behavior of parallel composition in the weak choice framework.KeywordsStochastic delayweak choicerace conditionreal-time and stochastic process algebra" @default.
- W1576906336 created "2016-06-24" @default.
- W1576906336 creator A5018760156 @default.
- W1576906336 creator A5055540408 @default.
- W1576906336 date "2006-01-01" @default.
- W1576906336 modified "2023-09-26" @default.
- W1576906336 title "Embedding Real Time in Stochastic Process Algebras" @default.
- W1576906336 cites W1495559266 @default.
- W1576906336 cites W1521107250 @default.
- W1576906336 cites W1587275578 @default.
- W1576906336 cites W1589318611 @default.
- W1576906336 cites W1597181838 @default.
- W1576906336 cites W1597655219 @default.
- W1576906336 cites W1832694837 @default.
- W1576906336 cites W1928694579 @default.
- W1576906336 cites W1976268573 @default.
- W1576906336 cites W2021089599 @default.
- W1576906336 cites W2024995880 @default.
- W1576906336 cites W2040082021 @default.
- W1576906336 cites W2109142454 @default.
- W1576906336 cites W2154144595 @default.
- W1576906336 cites W2154325291 @default.
- W1576906336 cites W2155196766 @default.
- W1576906336 cites W2242524807 @default.
- W1576906336 doi "https://doi.org/10.1007/11777830_4" @default.
- W1576906336 hasPublicationYear "2006" @default.
- W1576906336 type Work @default.
- W1576906336 sameAs 1576906336 @default.
- W1576906336 citedByCount "8" @default.
- W1576906336 countsByYear W15769063362012 @default.
- W1576906336 crossrefType "book-chapter" @default.
- W1576906336 hasAuthorship W1576906336A5018760156 @default.
- W1576906336 hasAuthorship W1576906336A5055540408 @default.
- W1576906336 hasConcept C105795698 @default.
- W1576906336 hasConcept C11413529 @default.
- W1576906336 hasConcept C136119220 @default.
- W1576906336 hasConcept C154945302 @default.
- W1576906336 hasConcept C156325763 @default.
- W1576906336 hasConcept C159023740 @default.
- W1576906336 hasConcept C161771561 @default.
- W1576906336 hasConcept C184337299 @default.
- W1576906336 hasConcept C199360897 @default.
- W1576906336 hasConcept C202444582 @default.
- W1576906336 hasConcept C33923547 @default.
- W1576906336 hasConcept C41008148 @default.
- W1576906336 hasConcept C41608201 @default.
- W1576906336 hasConcept C80444323 @default.
- W1576906336 hasConcept C8272713 @default.
- W1576906336 hasConcept C98045186 @default.
- W1576906336 hasConceptScore W1576906336C105795698 @default.
- W1576906336 hasConceptScore W1576906336C11413529 @default.
- W1576906336 hasConceptScore W1576906336C136119220 @default.
- W1576906336 hasConceptScore W1576906336C154945302 @default.
- W1576906336 hasConceptScore W1576906336C156325763 @default.
- W1576906336 hasConceptScore W1576906336C159023740 @default.
- W1576906336 hasConceptScore W1576906336C161771561 @default.
- W1576906336 hasConceptScore W1576906336C184337299 @default.
- W1576906336 hasConceptScore W1576906336C199360897 @default.
- W1576906336 hasConceptScore W1576906336C202444582 @default.
- W1576906336 hasConceptScore W1576906336C33923547 @default.
- W1576906336 hasConceptScore W1576906336C41008148 @default.
- W1576906336 hasConceptScore W1576906336C41608201 @default.
- W1576906336 hasConceptScore W1576906336C80444323 @default.
- W1576906336 hasConceptScore W1576906336C8272713 @default.
- W1576906336 hasConceptScore W1576906336C98045186 @default.
- W1576906336 hasLocation W15769063361 @default.
- W1576906336 hasOpenAccess W1576906336 @default.
- W1576906336 hasPrimaryLocation W15769063361 @default.
- W1576906336 hasRelatedWork W1576906336 @default.
- W1576906336 hasRelatedWork W1592293578 @default.
- W1576906336 hasRelatedWork W1686804760 @default.
- W1576906336 hasRelatedWork W1954655008 @default.
- W1576906336 hasRelatedWork W1972874541 @default.
- W1576906336 hasRelatedWork W2155770035 @default.
- W1576906336 hasRelatedWork W2170466294 @default.
- W1576906336 hasRelatedWork W2951545510 @default.
- W1576906336 hasRelatedWork W3014537556 @default.
- W1576906336 hasRelatedWork W4285818393 @default.
- W1576906336 isParatext "false" @default.
- W1576906336 isRetracted "false" @default.
- W1576906336 magId "1576906336" @default.
- W1576906336 workType "book-chapter" @default.