Matches in SemOpenAlex for { <https://semopenalex.org/work/W2808111091> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2808111091 abstract "The possibility of two or more actions to be performed consecutivelyat the same point in time is not excluded in the process algebra from the framework of process algebras with timing presented by Baeten and Middelburg [Handbook of Process Algebra, Elsevier, 2001,Chapter 101]. This possibility is useful in practice when describing and analyzing systems in which actions occur that are entirely independent.However, it is an abstraction of reality to assume that actions can be performedconsecutively at the same point in time. In this paper, we propose a process algebra with timing in which this possibility is excluded, but the finite elements of the nonstandard extension of the non-negative real numbers are taken as time domain. It is shown that this new process algebra generalizes the process algebras with timing from the aforementioned framework in a smooth and natural way." @default.
- W2808111091 created "2018-06-21" @default.
- W2808111091 creator A5000183100 @default.
- W2808111091 date "2002-01-01" @default.
- W2808111091 modified "2023-09-23" @default.
- W2808111091 title "Process algebra with nonstandard timing" @default.
- W2808111091 hasPublicationYear "2002" @default.
- W2808111091 type Work @default.
- W2808111091 sameAs 2808111091 @default.
- W2808111091 citedByCount "0" @default.
- W2808111091 crossrefType "journal-article" @default.
- W2808111091 hasAuthorship W2808111091A5000183100 @default.
- W2808111091 hasConcept C100376341 @default.
- W2808111091 hasConcept C111472728 @default.
- W2808111091 hasConcept C124304363 @default.
- W2808111091 hasConcept C134306372 @default.
- W2808111091 hasConcept C136119220 @default.
- W2808111091 hasConcept C138885662 @default.
- W2808111091 hasConcept C14394260 @default.
- W2808111091 hasConcept C161771561 @default.
- W2808111091 hasConcept C170517529 @default.
- W2808111091 hasConcept C199360897 @default.
- W2808111091 hasConcept C202444582 @default.
- W2808111091 hasConcept C2524010 @default.
- W2808111091 hasConcept C2778029271 @default.
- W2808111091 hasConcept C28719098 @default.
- W2808111091 hasConcept C33923547 @default.
- W2808111091 hasConcept C36503486 @default.
- W2808111091 hasConcept C41008148 @default.
- W2808111091 hasConcept C80444323 @default.
- W2808111091 hasConcept C98045186 @default.
- W2808111091 hasConceptScore W2808111091C100376341 @default.
- W2808111091 hasConceptScore W2808111091C111472728 @default.
- W2808111091 hasConceptScore W2808111091C124304363 @default.
- W2808111091 hasConceptScore W2808111091C134306372 @default.
- W2808111091 hasConceptScore W2808111091C136119220 @default.
- W2808111091 hasConceptScore W2808111091C138885662 @default.
- W2808111091 hasConceptScore W2808111091C14394260 @default.
- W2808111091 hasConceptScore W2808111091C161771561 @default.
- W2808111091 hasConceptScore W2808111091C170517529 @default.
- W2808111091 hasConceptScore W2808111091C199360897 @default.
- W2808111091 hasConceptScore W2808111091C202444582 @default.
- W2808111091 hasConceptScore W2808111091C2524010 @default.
- W2808111091 hasConceptScore W2808111091C2778029271 @default.
- W2808111091 hasConceptScore W2808111091C28719098 @default.
- W2808111091 hasConceptScore W2808111091C33923547 @default.
- W2808111091 hasConceptScore W2808111091C36503486 @default.
- W2808111091 hasConceptScore W2808111091C41008148 @default.
- W2808111091 hasConceptScore W2808111091C80444323 @default.
- W2808111091 hasConceptScore W2808111091C98045186 @default.
- W2808111091 hasLocation W28081110911 @default.
- W2808111091 hasOpenAccess W2808111091 @default.
- W2808111091 hasPrimaryLocation W28081110911 @default.
- W2808111091 hasRelatedWork W1034897328 @default.
- W2808111091 hasRelatedWork W1498091675 @default.
- W2808111091 hasRelatedWork W1702410795 @default.
- W2808111091 hasRelatedWork W1764271598 @default.
- W2808111091 hasRelatedWork W1852925495 @default.
- W2808111091 hasRelatedWork W1854727386 @default.
- W2808111091 hasRelatedWork W2005471433 @default.
- W2808111091 hasRelatedWork W2097966390 @default.
- W2808111091 hasRelatedWork W2151814155 @default.
- W2808111091 hasRelatedWork W2182877775 @default.
- W2808111091 hasRelatedWork W2203011585 @default.
- W2808111091 hasRelatedWork W2579087237 @default.
- W2808111091 hasRelatedWork W2743884415 @default.
- W2808111091 hasRelatedWork W2892107349 @default.
- W2808111091 hasRelatedWork W2949430683 @default.
- W2808111091 hasRelatedWork W2963880199 @default.
- W2808111091 hasRelatedWork W3105491358 @default.
- W2808111091 hasRelatedWork W3117857062 @default.
- W2808111091 hasRelatedWork W75495785 @default.
- W2808111091 hasRelatedWork W82615150 @default.
- W2808111091 hasVolume "0206" @default.
- W2808111091 isParatext "false" @default.
- W2808111091 isRetracted "false" @default.
- W2808111091 magId "2808111091" @default.
- W2808111091 workType "article" @default.