Matches in SemOpenAlex for { <https://semopenalex.org/work/W2251061219> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W2251061219 abstract "We present a generic framework of UTP theories for describing systems whose behaviour is characterised by regular time-slots, compatible with the general structure of the Circus language [WC01a]. This slotted-Circus framework is parameterised by the particular way in which event histories are observable within a time-slot, and specifies what laws a desired parameterisation must obey in order for a satisfactory theory to emerge.Two key results of this work are: the need to be very careful in formulating the healthiness conditions, particularly R2; and the demonstration that synchronous theories like SCSP [Bar93] do not fit well with the way reactive systems are currently formulated in UTP and Circus." @default.
- W2251061219 created "2016-06-24" @default.
- W2251061219 creator A5058201701 @default.
- W2251061219 creator A5071048212 @default.
- W2251061219 creator A5086651957 @default.
- W2251061219 date "2007-01-01" @default.
- W2251061219 modified "2023-09-27" @default.
- W2251061219 title "Integrated Formal Methods" @default.
- W2251061219 cites W1483063212 @default.
- W2251061219 cites W1494289517 @default.
- W2251061219 cites W1547789789 @default.
- W2251061219 cites W1571487936 @default.
- W2251061219 cites W2006777804 @default.
- W2251061219 cites W2051913344 @default.
- W2251061219 cites W2081938726 @default.
- W2251061219 cites W2144973245 @default.
- W2251061219 cites W2152540097 @default.
- W2251061219 cites W3144368627 @default.
- W2251061219 cites W44516245 @default.
- W2251061219 cites W2479711560 @default.
- W2251061219 cites W2516639783 @default.
- W2251061219 doi "https://doi.org/10.1007/978-3-540-73210-5" @default.
- W2251061219 hasPublicationYear "2007" @default.
- W2251061219 type Work @default.
- W2251061219 sameAs 2251061219 @default.
- W2251061219 citedByCount "6" @default.
- W2251061219 countsByYear W22510612192012 @default.
- W2251061219 countsByYear W22510612192016 @default.
- W2251061219 crossrefType "book" @default.
- W2251061219 hasAuthorship W2251061219A5058201701 @default.
- W2251061219 hasAuthorship W2251061219A5071048212 @default.
- W2251061219 hasAuthorship W2251061219A5086651957 @default.
- W2251061219 hasBestOaLocation W22510612191 @default.
- W2251061219 hasConcept C41008148 @default.
- W2251061219 hasConceptScore W2251061219C41008148 @default.
- W2251061219 hasLocation W22510612191 @default.
- W2251061219 hasOpenAccess W2251061219 @default.
- W2251061219 hasPrimaryLocation W22510612191 @default.
- W2251061219 hasRelatedWork W2093578348 @default.
- W2251061219 hasRelatedWork W2350741829 @default.
- W2251061219 hasRelatedWork W2358668433 @default.
- W2251061219 hasRelatedWork W2376932109 @default.
- W2251061219 hasRelatedWork W2382290278 @default.
- W2251061219 hasRelatedWork W2390279801 @default.
- W2251061219 hasRelatedWork W2748952813 @default.
- W2251061219 hasRelatedWork W2766271392 @default.
- W2251061219 hasRelatedWork W2899084033 @default.
- W2251061219 hasRelatedWork W3004735627 @default.
- W2251061219 isParatext "false" @default.
- W2251061219 isRetracted "false" @default.
- W2251061219 magId "2251061219" @default.
- W2251061219 workType "book" @default.