Matches in SemOpenAlex for { <https://semopenalex.org/work/W1875492031> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1875492031 endingPage "16" @default.
- W1875492031 startingPage "1" @default.
- W1875492031 abstract "This book presents a synthesis of recent works concerning reactive system design. The term `reactive system' has been introduced in order to avoid ambiguities often involved with the term `real-time system' which, while being best-known and suggestive, has been assigned so many different meanings that it is almost inevitably misunderstood. Industrial Process control system, transportation control and supervision systems, signal processing systems, etc. are examples of the systems we have in mind. Four programming languages are presented, which share the same underlying synchronous model: based on Robin Milner's pioneering works about synchronous process algebras, this model consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to the response delays of its environment. Using this abstract point of view, the time behavior of a system can be formalized in a very simple and elegant way. The languages presented are ESTEREL, a textual imperative language; ARGOS, a graphical language inspired by STATECHARTS; and LUSTRE and SIGNAL, two declarative languages. After a tutorial description of the languages, illustrated by various examples, a set of related tools is presented: compilers to sequential and distributed code, silicon compilers, verification tools." @default.
- W1875492031 created "2016-06-24" @default.
- W1875492031 creator A5080577181 @default.
- W1875492031 date "1998-01-01" @default.
- W1875492031 modified "2023-09-30" @default.
- W1875492031 title "Synchronous programming of reactive systems" @default.
- W1875492031 cites W1499880330 @default.
- W1875492031 cites W1502028089 @default.
- W1875492031 cites W1505562022 @default.
- W1875492031 cites W1505618619 @default.
- W1875492031 cites W1511336169 @default.
- W1875492031 cites W1517761527 @default.
- W1875492031 cites W1526092505 @default.
- W1875492031 cites W1546220007 @default.
- W1875492031 cites W1559331297 @default.
- W1875492031 cites W1562836033 @default.
- W1875492031 cites W1570112753 @default.
- W1875492031 cites W1593428110 @default.
- W1875492031 cites W1605580256 @default.
- W1875492031 cites W1608626996 @default.
- W1875492031 cites W1908456226 @default.
- W1875492031 cites W1975124265 @default.
- W1875492031 cites W1988042515 @default.
- W1875492031 cites W1992006255 @default.
- W1875492031 cites W1992729783 @default.
- W1875492031 cites W1995969393 @default.
- W1875492031 cites W2001748564 @default.
- W1875492031 cites W2005976511 @default.
- W1875492031 cites W2016079448 @default.
- W1875492031 cites W2026429908 @default.
- W1875492031 cites W2043100293 @default.
- W1875492031 cites W2048334625 @default.
- W1875492031 cites W2058713130 @default.
- W1875492031 cites W2066929280 @default.
- W1875492031 cites W2067776562 @default.
- W1875492031 cites W2068896853 @default.
- W1875492031 cites W2072961973 @default.
- W1875492031 cites W2081938726 @default.
- W1875492031 cites W2099529102 @default.
- W1875492031 cites W2100500718 @default.
- W1875492031 cites W2115457987 @default.
- W1875492031 cites W2117189826 @default.
- W1875492031 cites W2125023624 @default.
- W1875492031 cites W2125415493 @default.
- W1875492031 cites W2141957585 @default.
- W1875492031 cites W2151250735 @default.
- W1875492031 cites W2159542925 @default.
- W1875492031 cites W2171571285 @default.
- W1875492031 cites W4206455946 @default.
- W1875492031 cites W4211046677 @default.
- W1875492031 doi "https://doi.org/10.1007/bfb0028726" @default.
- W1875492031 hasPublicationYear "1998" @default.
- W1875492031 type Work @default.
- W1875492031 sameAs 1875492031 @default.
- W1875492031 citedByCount "433" @default.
- W1875492031 countsByYear W18754920312012 @default.
- W1875492031 countsByYear W18754920312013 @default.
- W1875492031 countsByYear W18754920312014 @default.
- W1875492031 countsByYear W18754920312015 @default.
- W1875492031 countsByYear W18754920312016 @default.
- W1875492031 countsByYear W18754920312017 @default.
- W1875492031 countsByYear W18754920312018 @default.
- W1875492031 countsByYear W18754920312019 @default.
- W1875492031 countsByYear W18754920312020 @default.
- W1875492031 countsByYear W18754920312021 @default.
- W1875492031 countsByYear W18754920312022 @default.
- W1875492031 crossrefType "book-chapter" @default.
- W1875492031 hasAuthorship W1875492031A5080577181 @default.
- W1875492031 hasBestOaLocation W18754920311 @default.
- W1875492031 hasConcept C199360897 @default.
- W1875492031 hasConcept C41008148 @default.
- W1875492031 hasConceptScore W1875492031C199360897 @default.
- W1875492031 hasConceptScore W1875492031C41008148 @default.
- W1875492031 hasLocation W18754920311 @default.
- W1875492031 hasLocation W18754920312 @default.
- W1875492031 hasOpenAccess W1875492031 @default.
- W1875492031 hasPrimaryLocation W18754920311 @default.
- W1875492031 hasRelatedWork W2013111119 @default.
- W1875492031 hasRelatedWork W2047793074 @default.
- W1875492031 hasRelatedWork W2112962394 @default.
- W1875492031 hasRelatedWork W2118300983 @default.
- W1875492031 hasRelatedWork W2382501300 @default.
- W1875492031 hasRelatedWork W3137189469 @default.
- W1875492031 hasRelatedWork W3162240892 @default.
- W1875492031 hasRelatedWork W4235530921 @default.
- W1875492031 hasRelatedWork W4243252198 @default.
- W1875492031 hasRelatedWork W4245713008 @default.
- W1875492031 isParatext "false" @default.
- W1875492031 isRetracted "false" @default.
- W1875492031 magId "1875492031" @default.
- W1875492031 workType "book-chapter" @default.