Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098659802> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2098659802 abstract "We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action systems. The traditional interleaving paradigm is completed with a new barrier synchronization mechanism. This is achieved by introducing a new parallel composition operator, applicable to both discrete and hybrid models. While offering improvements with respect to control and modularity, the approach uses the correctness preserving mechanisms provided by the underlying reasoning environment." @default.
- W2098659802 created "2016-06-24" @default.
- W2098659802 creator A5006379967 @default.
- W2098659802 creator A5025773724 @default.
- W2098659802 date "2004-11-08" @default.
- W2098659802 modified "2023-09-26" @default.
- W2098659802 title "Modular design of reactive systems" @default.
- W2098659802 cites W1489503486 @default.
- W2098659802 cites W1504504841 @default.
- W2098659802 cites W1511227926 @default.
- W2098659802 cites W1511826042 @default.
- W2098659802 cites W1521375736 @default.
- W2098659802 cites W1541118615 @default.
- W2098659802 cites W1567773421 @default.
- W2098659802 cites W1584400086 @default.
- W2098659802 cites W1600620169 @default.
- W2098659802 cites W1802815008 @default.
- W2098659802 cites W2001748564 @default.
- W2098659802 cites W2005952505 @default.
- W2098659802 cites W2030331955 @default.
- W2098659802 cites W2103953153 @default.
- W2098659802 doi "https://doi.org/10.1109/cmpsac.2004.1342842" @default.
- W2098659802 hasPublicationYear "2004" @default.
- W2098659802 type Work @default.
- W2098659802 sameAs 2098659802 @default.
- W2098659802 citedByCount "1" @default.
- W2098659802 countsByYear W20986598022012 @default.
- W2098659802 crossrefType "proceedings-article" @default.
- W2098659802 hasAuthorship W2098659802A5006379967 @default.
- W2098659802 hasAuthorship W2098659802A5025773724 @default.
- W2098659802 hasConcept C101468663 @default.
- W2098659802 hasConcept C111919701 @default.
- W2098659802 hasConcept C120314980 @default.
- W2098659802 hasConcept C127162648 @default.
- W2098659802 hasConcept C199360897 @default.
- W2098659802 hasConcept C2778562939 @default.
- W2098659802 hasConcept C2779478453 @default.
- W2098659802 hasConcept C28034677 @default.
- W2098659802 hasConcept C31258907 @default.
- W2098659802 hasConcept C41008148 @default.
- W2098659802 hasConcept C54355233 @default.
- W2098659802 hasConcept C55439883 @default.
- W2098659802 hasConcept C80444323 @default.
- W2098659802 hasConcept C86803240 @default.
- W2098659802 hasConceptScore W2098659802C101468663 @default.
- W2098659802 hasConceptScore W2098659802C111919701 @default.
- W2098659802 hasConceptScore W2098659802C120314980 @default.
- W2098659802 hasConceptScore W2098659802C127162648 @default.
- W2098659802 hasConceptScore W2098659802C199360897 @default.
- W2098659802 hasConceptScore W2098659802C2778562939 @default.
- W2098659802 hasConceptScore W2098659802C2779478453 @default.
- W2098659802 hasConceptScore W2098659802C28034677 @default.
- W2098659802 hasConceptScore W2098659802C31258907 @default.
- W2098659802 hasConceptScore W2098659802C41008148 @default.
- W2098659802 hasConceptScore W2098659802C54355233 @default.
- W2098659802 hasConceptScore W2098659802C55439883 @default.
- W2098659802 hasConceptScore W2098659802C80444323 @default.
- W2098659802 hasConceptScore W2098659802C86803240 @default.
- W2098659802 hasLocation W20986598021 @default.
- W2098659802 hasOpenAccess W2098659802 @default.
- W2098659802 hasPrimaryLocation W20986598021 @default.
- W2098659802 hasRelatedWork W1514687340 @default.
- W2098659802 hasRelatedWork W1574952340 @default.
- W2098659802 hasRelatedWork W1585089195 @default.
- W2098659802 hasRelatedWork W1931845768 @default.
- W2098659802 hasRelatedWork W1967644203 @default.
- W2098659802 hasRelatedWork W1998304956 @default.
- W2098659802 hasRelatedWork W1999986721 @default.
- W2098659802 hasRelatedWork W2003192714 @default.
- W2098659802 hasRelatedWork W2007527439 @default.
- W2098659802 hasRelatedWork W2044116701 @default.
- W2098659802 hasRelatedWork W2044520159 @default.
- W2098659802 hasRelatedWork W2061371739 @default.
- W2098659802 hasRelatedWork W2063712677 @default.
- W2098659802 hasRelatedWork W20683823 @default.
- W2098659802 hasRelatedWork W2112382880 @default.
- W2098659802 hasRelatedWork W2130876362 @default.
- W2098659802 hasRelatedWork W2260820808 @default.
- W2098659802 hasRelatedWork W5343477 @default.
- W2098659802 hasRelatedWork W89154191 @default.
- W2098659802 hasRelatedWork W1797852856 @default.
- W2098659802 isParatext "false" @default.
- W2098659802 isRetracted "false" @default.
- W2098659802 magId "2098659802" @default.
- W2098659802 workType "article" @default.