Matches in SemOpenAlex for { <https://semopenalex.org/work/W2235856809> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2235856809 abstract "This paper describes a modeling technique for single-agent reactive systems, that is influenced by the modeling paradigm of Parnas as well as by the synchronous paradigms of LUSTRE and ESTEREL. In this paradigm, single-agent reactive systems are modeled in a universe having a discrete clock. This discretization of time greatly reduces the temporal complexity of the model. According to the author, the advantage of this reduction in temporal complexity is that the resulting model is in many ways better suited to automated software construction and analysis techniques (e.g., deductive synthesis, transformation, and verification) than models that are based on continuous representations of time." @default.
- W2235856809 created "2016-06-24" @default.
- W2235856809 creator A5057985341 @default.
- W2235856809 date "1997-12-01" @default.
- W2235856809 modified "2023-09-26" @default.
- W2235856809 title "A synchronous paradigm for modeling semi-passive reactive systems" @default.
- W2235856809 hasPublicationYear "1997" @default.
- W2235856809 type Work @default.
- W2235856809 sameAs 2235856809 @default.
- W2235856809 citedByCount "1" @default.
- W2235856809 crossrefType "proceedings-article" @default.
- W2235856809 hasAuthorship W2235856809A5057985341 @default.
- W2235856809 hasConcept C110251889 @default.
- W2235856809 hasConcept C111335779 @default.
- W2235856809 hasConcept C120314980 @default.
- W2235856809 hasConcept C154945302 @default.
- W2235856809 hasConcept C173608175 @default.
- W2235856809 hasConcept C180699724 @default.
- W2235856809 hasConcept C199360897 @default.
- W2235856809 hasConcept C2524010 @default.
- W2235856809 hasConcept C2776436953 @default.
- W2235856809 hasConcept C2779791154 @default.
- W2235856809 hasConcept C33923547 @default.
- W2235856809 hasConcept C41008148 @default.
- W2235856809 hasConcept C80444323 @default.
- W2235856809 hasConcept C83283714 @default.
- W2235856809 hasConceptScore W2235856809C110251889 @default.
- W2235856809 hasConceptScore W2235856809C111335779 @default.
- W2235856809 hasConceptScore W2235856809C120314980 @default.
- W2235856809 hasConceptScore W2235856809C154945302 @default.
- W2235856809 hasConceptScore W2235856809C173608175 @default.
- W2235856809 hasConceptScore W2235856809C180699724 @default.
- W2235856809 hasConceptScore W2235856809C199360897 @default.
- W2235856809 hasConceptScore W2235856809C2524010 @default.
- W2235856809 hasConceptScore W2235856809C2776436953 @default.
- W2235856809 hasConceptScore W2235856809C2779791154 @default.
- W2235856809 hasConceptScore W2235856809C33923547 @default.
- W2235856809 hasConceptScore W2235856809C41008148 @default.
- W2235856809 hasConceptScore W2235856809C80444323 @default.
- W2235856809 hasConceptScore W2235856809C83283714 @default.
- W2235856809 hasLocation W22358568091 @default.
- W2235856809 hasOpenAccess W2235856809 @default.
- W2235856809 hasPrimaryLocation W22358568091 @default.
- W2235856809 hasRelatedWork W146557831 @default.
- W2235856809 hasRelatedWork W153755725 @default.
- W2235856809 hasRelatedWork W1539821942 @default.
- W2235856809 hasRelatedWork W1586989484 @default.
- W2235856809 hasRelatedWork W1600808746 @default.
- W2235856809 hasRelatedWork W1966461127 @default.
- W2235856809 hasRelatedWork W1977786379 @default.
- W2235856809 hasRelatedWork W2028737953 @default.
- W2235856809 hasRelatedWork W2050011081 @default.
- W2235856809 hasRelatedWork W2079550620 @default.
- W2235856809 hasRelatedWork W2079873001 @default.
- W2235856809 hasRelatedWork W2090035857 @default.
- W2235856809 hasRelatedWork W2102840756 @default.
- W2235856809 hasRelatedWork W2113732070 @default.
- W2235856809 hasRelatedWork W2115802893 @default.
- W2235856809 hasRelatedWork W2486111772 @default.
- W2235856809 hasRelatedWork W3044480180 @default.
- W2235856809 hasRelatedWork W3178900094 @default.
- W2235856809 hasRelatedWork W34535949 @default.
- W2235856809 hasRelatedWork W2119011051 @default.
- W2235856809 isParatext "false" @default.
- W2235856809 isRetracted "false" @default.
- W2235856809 magId "2235856809" @default.
- W2235856809 workType "article" @default.