FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601331371> ?p ?o ?g. }

• W1601331371 endingPage "242" @default.
• W1601331371 startingPage "228" @default.
• W1601331371 abstract "We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition independence for TA, and demonstrate the validity of the communication closed layer (CCL) laws in such a setting, by means of an operator for layered composition that is intermediate between parallel and sequential composition. Next, we introduce the principles of input/output (i/o) and partial-order (po) equivalences, and show that such equivalences are preserved when the layered composition operator is replaced by sequential composition within the expressions appearing in the CCL laws. Finally, we proceed to show that such layering (together with equivalences obtained through the CCL laws) can be useful in the design and verification of dense real-time systems that consist of a network of interacting components, by bringing about a reduction of the state-space through the exploitation of transition independence. This is illustrated by considering a collision avoidance protocol developed for an audio/video system of Bang and Olufsen." @default.
• W1601331371 created "2016-06-24" @default.
• W1601331371 creator A5070117192 @default.
• W1601331371 creator A5084773409 @default.
• W1601331371 date "2010-01-01" @default.
• W1601331371 modified "2023-09-27" @default.
• W1601331371 title "Layered Composition for Timed Automata" @default.
• W1601331371 cites W1522276539 @default.
• W1601331371 cites W1535537825 @default.
• W1601331371 cites W1540501475 @default.
• W1601331371 cites W1546526613 @default.
• W1601331371 cites W1547793878 @default.
• W1601331371 cites W1548132545 @default.
• W1601331371 cites W1560730347 @default.
• W1601331371 cites W1572677968 @default.
• W1601331371 cites W1589522184 @default.
• W1601331371 cites W1750413901 @default.
• W1601331371 cites W1925636530 @default.
• W1601331371 cites W1962072139 @default.
• W1601331371 cites W2036670017 @default.
• W1601331371 cites W2042981544 @default.
• W1601331371 cites W2093681800 @default.
• W1601331371 cites W2101508170 @default.
• W1601331371 cites W2103882301 @default.
• W1601331371 cites W2105859895 @default.
• W1601331371 cites W4251166607 @default.
• W1601331371 doi "https://doi.org/10.1007/978-3-642-15297-9_18" @default.
• W1601331371 hasPublicationYear "2010" @default.
• W1601331371 type Work @default.
• W1601331371 sameAs 1601331371 @default.
• W1601331371 citedByCount "11" @default.
• W1601331371 countsByYear W16013313712012 @default.
• W1601331371 countsByYear W16013313712013 @default.
• W1601331371 countsByYear W16013313712014 @default.
• W1601331371 countsByYear W16013313712015 @default.
• W1601331371 countsByYear W16013313712023 @default.
• W1601331371 crossrefType "book-chapter" @default.
• W1601331371 hasAuthorship W1601331371A5070117192 @default.
• W1601331371 hasAuthorship W1601331371A5084773409 @default.
• W1601331371 hasConcept C104317684 @default.
• W1601331371 hasConcept C105795698 @default.
• W1601331371 hasConcept C110251889 @default.
• W1601331371 hasConcept C111335779 @default.
• W1601331371 hasConcept C112505250 @default.
• W1601331371 hasConcept C11413529 @default.
• W1601331371 hasConcept C138885662 @default.
• W1601331371 hasConcept C158448853 @default.
• W1601331371 hasConcept C167822520 @default.
• W1601331371 hasConcept C17020691 @default.
• W1601331371 hasConcept C176055353 @default.
• W1601331371 hasConcept C177264268 @default.
• W1601331371 hasConcept C185592680 @default.
• W1601331371 hasConcept C199360897 @default.
• W1601331371 hasConcept C21513729 @default.
• W1601331371 hasConcept C2524010 @default.
• W1601331371 hasConcept C30788636 @default.
• W1601331371 hasConcept C33923547 @default.
• W1601331371 hasConcept C35651441 @default.
• W1601331371 hasConcept C40231798 @default.
• W1601331371 hasConcept C41008148 @default.
• W1601331371 hasConcept C41895202 @default.
• W1601331371 hasConcept C48103436 @default.
• W1601331371 hasConcept C55493867 @default.
• W1601331371 hasConcept C59822182 @default.
• W1601331371 hasConcept C72434380 @default.
• W1601331371 hasConcept C80444323 @default.
• W1601331371 hasConcept C82916341 @default.
• W1601331371 hasConcept C86339819 @default.
• W1601331371 hasConcept C86803240 @default.
• W1601331371 hasConceptScore W1601331371C104317684 @default.
• W1601331371 hasConceptScore W1601331371C105795698 @default.
• W1601331371 hasConceptScore W1601331371C110251889 @default.
• W1601331371 hasConceptScore W1601331371C111335779 @default.
• W1601331371 hasConceptScore W1601331371C112505250 @default.
• W1601331371 hasConceptScore W1601331371C11413529 @default.
• W1601331371 hasConceptScore W1601331371C138885662 @default.
• W1601331371 hasConceptScore W1601331371C158448853 @default.
• W1601331371 hasConceptScore W1601331371C167822520 @default.
• W1601331371 hasConceptScore W1601331371C17020691 @default.
• W1601331371 hasConceptScore W1601331371C176055353 @default.
• W1601331371 hasConceptScore W1601331371C177264268 @default.
• W1601331371 hasConceptScore W1601331371C185592680 @default.
• W1601331371 hasConceptScore W1601331371C199360897 @default.
• W1601331371 hasConceptScore W1601331371C21513729 @default.
• W1601331371 hasConceptScore W1601331371C2524010 @default.
• W1601331371 hasConceptScore W1601331371C30788636 @default.
• W1601331371 hasConceptScore W1601331371C33923547 @default.
• W1601331371 hasConceptScore W1601331371C35651441 @default.
• W1601331371 hasConceptScore W1601331371C40231798 @default.
• W1601331371 hasConceptScore W1601331371C41008148 @default.
• W1601331371 hasConceptScore W1601331371C41895202 @default.
• W1601331371 hasConceptScore W1601331371C48103436 @default.
• W1601331371 hasConceptScore W1601331371C55493867 @default.
• W1601331371 hasConceptScore W1601331371C59822182 @default.
• W1601331371 hasConceptScore W1601331371C72434380 @default.
• W1601331371 hasConceptScore W1601331371C80444323 @default.
• W1601331371 hasConceptScore W1601331371C82916341 @default.
• W1601331371 hasConceptScore W1601331371C86339819 @default.

• next