Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543192174> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W1543192174 abstract "This paper proposes a formal framework for modelling the interaction of concurrent items of equipment in real-time safety-critical systems and reasoning about their behaviour abstractly. The framework is based on the concept of Coordinated Atomic (CA) actions, an approach widely used for structuring complex activities in fault-tolerant computer systems. It advocates a hierarchical approach and begins with the construction of a mathematical model of the behaviour of an individual item of equipment. Later on, the model is extended to incorporate the concept of a CA action. In the final stage, a formal representation of the ideal behaviour of an abstract CA action is provided. The framework uses Timed CSP - a well-established formalism used for representation and reasoning in real-time systems." @default.
- W1543192174 created "2016-06-24" @default.
- W1543192174 creator A5007117639 @default.
- W1543192174 creator A5038764694 @default.
- W1543192174 date "2000-01-01" @default.
- W1543192174 modified "2023-09-24" @default.
- W1543192174 title "Modelling Coordinated Atomic Actions in Timed CSP" @default.
- W1543192174 cites W1985660652 @default.
- W1543192174 cites W1996431954 @default.
- W1543192174 cites W3035757797 @default.
- W1543192174 doi "https://doi.org/10.1007/3-540-45352-0_19" @default.
- W1543192174 hasPublicationYear "2000" @default.
- W1543192174 type Work @default.
- W1543192174 sameAs 1543192174 @default.
- W1543192174 citedByCount "5" @default.
- W1543192174 countsByYear W15431921742017 @default.
- W1543192174 crossrefType "book-chapter" @default.
- W1543192174 hasAuthorship W1543192174A5007117639 @default.
- W1543192174 hasAuthorship W1543192174A5038764694 @default.
- W1543192174 hasConcept C10138342 @default.
- W1543192174 hasConcept C121332964 @default.
- W1543192174 hasConcept C142362112 @default.
- W1543192174 hasConcept C153349607 @default.
- W1543192174 hasConcept C154945302 @default.
- W1543192174 hasConcept C162324750 @default.
- W1543192174 hasConcept C17744445 @default.
- W1543192174 hasConcept C193702766 @default.
- W1543192174 hasConcept C199360897 @default.
- W1543192174 hasConcept C199539241 @default.
- W1543192174 hasConcept C2775945657 @default.
- W1543192174 hasConcept C2776359362 @default.
- W1543192174 hasConcept C2780791683 @default.
- W1543192174 hasConcept C41008148 @default.
- W1543192174 hasConcept C558565934 @default.
- W1543192174 hasConcept C62520636 @default.
- W1543192174 hasConcept C73301696 @default.
- W1543192174 hasConcept C80444323 @default.
- W1543192174 hasConcept C94625758 @default.
- W1543192174 hasConceptScore W1543192174C10138342 @default.
- W1543192174 hasConceptScore W1543192174C121332964 @default.
- W1543192174 hasConceptScore W1543192174C142362112 @default.
- W1543192174 hasConceptScore W1543192174C153349607 @default.
- W1543192174 hasConceptScore W1543192174C154945302 @default.
- W1543192174 hasConceptScore W1543192174C162324750 @default.
- W1543192174 hasConceptScore W1543192174C17744445 @default.
- W1543192174 hasConceptScore W1543192174C193702766 @default.
- W1543192174 hasConceptScore W1543192174C199360897 @default.
- W1543192174 hasConceptScore W1543192174C199539241 @default.
- W1543192174 hasConceptScore W1543192174C2775945657 @default.
- W1543192174 hasConceptScore W1543192174C2776359362 @default.
- W1543192174 hasConceptScore W1543192174C2780791683 @default.
- W1543192174 hasConceptScore W1543192174C41008148 @default.
- W1543192174 hasConceptScore W1543192174C558565934 @default.
- W1543192174 hasConceptScore W1543192174C62520636 @default.
- W1543192174 hasConceptScore W1543192174C73301696 @default.
- W1543192174 hasConceptScore W1543192174C80444323 @default.
- W1543192174 hasConceptScore W1543192174C94625758 @default.
- W1543192174 hasLocation W15431921741 @default.
- W1543192174 hasOpenAccess W1543192174 @default.
- W1543192174 hasPrimaryLocation W15431921741 @default.
- W1543192174 hasRelatedWork W1488559820 @default.
- W1543192174 hasRelatedWork W1499019603 @default.
- W1543192174 hasRelatedWork W1502714871 @default.
- W1543192174 hasRelatedWork W1592788962 @default.
- W1543192174 hasRelatedWork W1855459128 @default.
- W1543192174 hasRelatedWork W1967867118 @default.
- W1543192174 hasRelatedWork W2002195806 @default.
- W1543192174 hasRelatedWork W2034486676 @default.
- W1543192174 hasRelatedWork W2061371739 @default.
- W1543192174 hasRelatedWork W2079832677 @default.
- W1543192174 hasRelatedWork W2103225125 @default.
- W1543192174 hasRelatedWork W2104092448 @default.
- W1543192174 hasRelatedWork W2142707821 @default.
- W1543192174 hasRelatedWork W2167669633 @default.
- W1543192174 hasRelatedWork W2168561732 @default.
- W1543192174 hasRelatedWork W2173007823 @default.
- W1543192174 hasRelatedWork W2194444390 @default.
- W1543192174 hasRelatedWork W2276000197 @default.
- W1543192174 hasRelatedWork W2116616673 @default.
- W1543192174 hasRelatedWork W2916301497 @default.
- W1543192174 isParatext "false" @default.
- W1543192174 isRetracted "false" @default.
- W1543192174 magId "1543192174" @default.
- W1543192174 workType "book-chapter" @default.