Matches in SemOpenAlex for { <https://semopenalex.org/work/W2879071437> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2879071437 abstract "Hoare and He’s UTP theory of reactive processes provides a unifying foundation for the semantics of process calculi and reactive programming. A reactive process is a form of UTP relation which can refer to both state variables and also a trace history of events. In their original presentation, a trace was modelled solely by a discrete sequence of events. Here, we generalise the trace model using “trace algebra”, which characterises traces abstractly using cancellative monoids, and thus enables application of the theory to a wider family of computational models, including hybrid computation. We recast the reactive healthiness conditions in this setting, and prove all the associated distributivity laws. We tackle parallel composition of reactive processes using the “parallel-by-merge” scheme from UTP. We also identify the associated theory of “reactive relations”, and use it to define generic reactive laws, a Hoare logic, and a weakest precondition calculus." @default.
- W2879071437 created "2018-07-19" @default.
- W2879071437 creator A5018039260 @default.
- W2879071437 creator A5078299755 @default.
- W2879071437 date "2018-04-06" @default.
- W2879071437 modified "2023-09-24" @default.
- W2879071437 title "Generalised Reactive Processes in Isabelle/UTP" @default.
- W2879071437 hasPublicationYear "2018" @default.
- W2879071437 type Work @default.
- W2879071437 sameAs 2879071437 @default.
- W2879071437 citedByCount "0" @default.
- W2879071437 crossrefType "journal-article" @default.
- W2879071437 hasAuthorship W2879071437A5018039260 @default.
- W2879071437 hasAuthorship W2879071437A5078299755 @default.
- W2879071437 hasConcept C11821877 @default.
- W2879071437 hasConcept C138390121 @default.
- W2879071437 hasConcept C138885662 @default.
- W2879071437 hasConcept C142362112 @default.
- W2879071437 hasConcept C144237770 @default.
- W2879071437 hasConcept C153349607 @default.
- W2879071437 hasConcept C156325763 @default.
- W2879071437 hasConcept C161771561 @default.
- W2879071437 hasConcept C184337299 @default.
- W2879071437 hasConcept C197129107 @default.
- W2879071437 hasConcept C199343813 @default.
- W2879071437 hasConcept C199360897 @default.
- W2879071437 hasConcept C202444582 @default.
- W2879071437 hasConcept C23123220 @default.
- W2879071437 hasConcept C2777686260 @default.
- W2879071437 hasConcept C30128091 @default.
- W2879071437 hasConcept C33923547 @default.
- W2879071437 hasConcept C41008148 @default.
- W2879071437 hasConcept C41895202 @default.
- W2879071437 hasConcept C54884031 @default.
- W2879071437 hasConcept C558565934 @default.
- W2879071437 hasConcept C71924100 @default.
- W2879071437 hasConcept C73301696 @default.
- W2879071437 hasConcept C75291252 @default.
- W2879071437 hasConcept C80444323 @default.
- W2879071437 hasConceptScore W2879071437C11821877 @default.
- W2879071437 hasConceptScore W2879071437C138390121 @default.
- W2879071437 hasConceptScore W2879071437C138885662 @default.
- W2879071437 hasConceptScore W2879071437C142362112 @default.
- W2879071437 hasConceptScore W2879071437C144237770 @default.
- W2879071437 hasConceptScore W2879071437C153349607 @default.
- W2879071437 hasConceptScore W2879071437C156325763 @default.
- W2879071437 hasConceptScore W2879071437C161771561 @default.
- W2879071437 hasConceptScore W2879071437C184337299 @default.
- W2879071437 hasConceptScore W2879071437C197129107 @default.
- W2879071437 hasConceptScore W2879071437C199343813 @default.
- W2879071437 hasConceptScore W2879071437C199360897 @default.
- W2879071437 hasConceptScore W2879071437C202444582 @default.
- W2879071437 hasConceptScore W2879071437C23123220 @default.
- W2879071437 hasConceptScore W2879071437C2777686260 @default.
- W2879071437 hasConceptScore W2879071437C30128091 @default.
- W2879071437 hasConceptScore W2879071437C33923547 @default.
- W2879071437 hasConceptScore W2879071437C41008148 @default.
- W2879071437 hasConceptScore W2879071437C41895202 @default.
- W2879071437 hasConceptScore W2879071437C54884031 @default.
- W2879071437 hasConceptScore W2879071437C558565934 @default.
- W2879071437 hasConceptScore W2879071437C71924100 @default.
- W2879071437 hasConceptScore W2879071437C73301696 @default.
- W2879071437 hasConceptScore W2879071437C75291252 @default.
- W2879071437 hasConceptScore W2879071437C80444323 @default.
- W2879071437 hasLocation W28790714371 @default.
- W2879071437 hasOpenAccess W2879071437 @default.
- W2879071437 hasPrimaryLocation W28790714371 @default.
- W2879071437 hasRelatedWork W1437270859 @default.
- W2879071437 hasRelatedWork W1482185827 @default.
- W2879071437 hasRelatedWork W1585954935 @default.
- W2879071437 hasRelatedWork W1604541089 @default.
- W2879071437 hasRelatedWork W19531118 @default.
- W2879071437 hasRelatedWork W2017551801 @default.
- W2879071437 hasRelatedWork W2114058479 @default.
- W2879071437 hasRelatedWork W2154704720 @default.
- W2879071437 hasRelatedWork W2159800742 @default.
- W2879071437 hasRelatedWork W2162492115 @default.
- W2879071437 hasRelatedWork W2169655078 @default.
- W2879071437 hasRelatedWork W2188377229 @default.
- W2879071437 hasRelatedWork W2226740143 @default.
- W2879071437 hasRelatedWork W2294527179 @default.
- W2879071437 hasRelatedWork W2297005116 @default.
- W2879071437 hasRelatedWork W2309962911 @default.
- W2879071437 hasRelatedWork W2399029393 @default.
- W2879071437 hasRelatedWork W2590672467 @default.
- W2879071437 hasRelatedWork W2660255895 @default.
- W2879071437 hasRelatedWork W2739864986 @default.
- W2879071437 isParatext "false" @default.
- W2879071437 isRetracted "false" @default.
- W2879071437 magId "2879071437" @default.
- W2879071437 workType "article" @default.