Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100340106> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2100340106 endingPage "816" @default.
- W2100340106 startingPage "805" @default.
- W2100340106 abstract "Communicating real-time state machines (CRSMs), a complete and executable notation for specifying concurrent real-time systems including the monitored and controlled physical environment, are introduced. They are essentially state machines that communicate synchronously in a manner much like the input-output in Hoare's CSP. In addition, CRSMs have a novel and small set of facilities for describing timing properties and accessing real time. The author defines the CRSM language, gives many examples of its use in requirements specification, outlines an algorithm for executing or simulating CRSMs, introduces some techniques for reasoning about the specifications, and discusses some open problems and issues.< <ETX xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>></ETX>" @default.
- W2100340106 created "2016-06-24" @default.
- W2100340106 creator A5077330744 @default.
- W2100340106 date "1992-01-01" @default.
- W2100340106 modified "2023-10-01" @default.
- W2100340106 title "Communicating real-time state machines" @default.
- W2100340106 cites W2008125644 @default.
- W2100340106 cites W2043683472 @default.
- W2100340106 cites W2050887876 @default.
- W2100340106 cites W2056359803 @default.
- W2100340106 cites W2096483454 @default.
- W2100340106 cites W2099529102 @default.
- W2100340106 cites W2113535112 @default.
- W2100340106 cites W2117834984 @default.
- W2100340106 cites W2120601740 @default.
- W2100340106 cites W2127262541 @default.
- W2100340106 cites W2135120182 @default.
- W2100340106 cites W2141321742 @default.
- W2100340106 cites W2153580110 @default.
- W2100340106 cites W2164882587 @default.
- W2100340106 cites W2987907651 @default.
- W2100340106 cites W4211008702 @default.
- W2100340106 cites W4229565165 @default.
- W2100340106 doi "https://doi.org/10.1109/32.159840" @default.
- W2100340106 hasPublicationYear "1992" @default.
- W2100340106 type Work @default.
- W2100340106 sameAs 2100340106 @default.
- W2100340106 citedByCount "130" @default.
- W2100340106 countsByYear W21003401062012 @default.
- W2100340106 countsByYear W21003401062013 @default.
- W2100340106 countsByYear W21003401062014 @default.
- W2100340106 countsByYear W21003401062016 @default.
- W2100340106 countsByYear W21003401062017 @default.
- W2100340106 countsByYear W21003401062019 @default.
- W2100340106 countsByYear W21003401062021 @default.
- W2100340106 crossrefType "journal-article" @default.
- W2100340106 hasAuthorship W2100340106A5077330744 @default.
- W2100340106 hasConcept C115903868 @default.
- W2100340106 hasConcept C155214134 @default.
- W2100340106 hasConcept C156325763 @default.
- W2100340106 hasConcept C160145156 @default.
- W2100340106 hasConcept C177264268 @default.
- W2100340106 hasConcept C184337299 @default.
- W2100340106 hasConcept C199360897 @default.
- W2100340106 hasConcept C33923547 @default.
- W2100340106 hasConcept C41008148 @default.
- W2100340106 hasConcept C45357846 @default.
- W2100340106 hasConcept C48103436 @default.
- W2100340106 hasConcept C94375191 @default.
- W2100340106 hasConceptScore W2100340106C115903868 @default.
- W2100340106 hasConceptScore W2100340106C155214134 @default.
- W2100340106 hasConceptScore W2100340106C156325763 @default.
- W2100340106 hasConceptScore W2100340106C160145156 @default.
- W2100340106 hasConceptScore W2100340106C177264268 @default.
- W2100340106 hasConceptScore W2100340106C184337299 @default.
- W2100340106 hasConceptScore W2100340106C199360897 @default.
- W2100340106 hasConceptScore W2100340106C33923547 @default.
- W2100340106 hasConceptScore W2100340106C41008148 @default.
- W2100340106 hasConceptScore W2100340106C45357846 @default.
- W2100340106 hasConceptScore W2100340106C48103436 @default.
- W2100340106 hasConceptScore W2100340106C94375191 @default.
- W2100340106 hasIssue "9" @default.
- W2100340106 hasLocation W21003401061 @default.
- W2100340106 hasOpenAccess W2100340106 @default.
- W2100340106 hasPrimaryLocation W21003401061 @default.
- W2100340106 hasRelatedWork W1515054923 @default.
- W2100340106 hasRelatedWork W1990602094 @default.
- W2100340106 hasRelatedWork W2001369100 @default.
- W2100340106 hasRelatedWork W2012923552 @default.
- W2100340106 hasRelatedWork W2026046761 @default.
- W2100340106 hasRelatedWork W2113201355 @default.
- W2100340106 hasRelatedWork W2338700700 @default.
- W2100340106 hasRelatedWork W2400387248 @default.
- W2100340106 hasRelatedWork W2807827293 @default.
- W2100340106 hasRelatedWork W4243634862 @default.
- W2100340106 hasVolume "18" @default.
- W2100340106 isParatext "false" @default.
- W2100340106 isRetracted "false" @default.
- W2100340106 magId "2100340106" @default.
- W2100340106 workType "article" @default.