Matches in SemOpenAlex for { <https://semopenalex.org/work/W3194920590> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3194920590 abstract "Interface automata have been introduced as a way to advance from value and domain descriptions of type systems to temporal interface descriptions. The original introduction of interface automata used a notion of buffered communication with infinite buffer size. This communication model is suitable to abstract the behaviour of many computing aspects with asynchronous communication between components. In this paper we present Loosely Synchronous Interface Automata (LSIA) to describe interfaces of components with loosely synchronised communication. Loosely synchronised communication facilitates a blocking semantics of communication for both sender and receiver. With loosely synchronisation it is possible to describe systems where a precise order of events is necessary. For example, cyber-physical systems often include control tasks where the exact order of events is necessary for a safe operation. With LSIAs it is possible to check compatibility of interface models including safety-relevant properties like lifeness. In this paper we describe the composition of LSIAs and show examples." @default.
- W3194920590 created "2021-08-30" @default.
- W3194920590 creator A5004773374 @default.
- W3194920590 creator A5075284504 @default.
- W3194920590 creator A5090186060 @default.
- W3194920590 date "2021-05-26" @default.
- W3194920590 modified "2023-10-16" @default.
- W3194920590 title "Component Interfaces with Loosely Synchronous Communication" @default.
- W3194920590 cites W1488202922 @default.
- W3194920590 cites W1756169151 @default.
- W3194920590 cites W2040105559 @default.
- W3194920590 cites W2074119802 @default.
- W3194920590 cites W2293287097 @default.
- W3194920590 cites W2294580796 @default.
- W3194920590 cites W49024944 @default.
- W3194920590 cites W835760671 @default.
- W3194920590 doi "https://doi.org/10.1109/sa51175.2021.9507118" @default.
- W3194920590 hasPublicationYear "2021" @default.
- W3194920590 type Work @default.
- W3194920590 sameAs 3194920590 @default.
- W3194920590 citedByCount "0" @default.
- W3194920590 crossrefType "proceedings-article" @default.
- W3194920590 hasAuthorship W3194920590A5004773374 @default.
- W3194920590 hasAuthorship W3194920590A5075284504 @default.
- W3194920590 hasAuthorship W3194920590A5090186060 @default.
- W3194920590 hasBestOaLocation W31949205902 @default.
- W3194920590 hasConcept C111919701 @default.
- W3194920590 hasConcept C112505250 @default.
- W3194920590 hasConcept C113843644 @default.
- W3194920590 hasConcept C120314980 @default.
- W3194920590 hasConcept C121332964 @default.
- W3194920590 hasConcept C129307140 @default.
- W3194920590 hasConcept C144024400 @default.
- W3194920590 hasConcept C151319957 @default.
- W3194920590 hasConcept C157915830 @default.
- W3194920590 hasConcept C158156997 @default.
- W3194920590 hasConcept C168167062 @default.
- W3194920590 hasConcept C177216440 @default.
- W3194920590 hasConcept C198104137 @default.
- W3194920590 hasConcept C199360897 @default.
- W3194920590 hasConcept C31258907 @default.
- W3194920590 hasConcept C41008148 @default.
- W3194920590 hasConcept C46312422 @default.
- W3194920590 hasConcept C80444323 @default.
- W3194920590 hasConcept C89505385 @default.
- W3194920590 hasConcept C97355855 @default.
- W3194920590 hasConceptScore W3194920590C111919701 @default.
- W3194920590 hasConceptScore W3194920590C112505250 @default.
- W3194920590 hasConceptScore W3194920590C113843644 @default.
- W3194920590 hasConceptScore W3194920590C120314980 @default.
- W3194920590 hasConceptScore W3194920590C121332964 @default.
- W3194920590 hasConceptScore W3194920590C129307140 @default.
- W3194920590 hasConceptScore W3194920590C144024400 @default.
- W3194920590 hasConceptScore W3194920590C151319957 @default.
- W3194920590 hasConceptScore W3194920590C157915830 @default.
- W3194920590 hasConceptScore W3194920590C158156997 @default.
- W3194920590 hasConceptScore W3194920590C168167062 @default.
- W3194920590 hasConceptScore W3194920590C177216440 @default.
- W3194920590 hasConceptScore W3194920590C198104137 @default.
- W3194920590 hasConceptScore W3194920590C199360897 @default.
- W3194920590 hasConceptScore W3194920590C31258907 @default.
- W3194920590 hasConceptScore W3194920590C41008148 @default.
- W3194920590 hasConceptScore W3194920590C46312422 @default.
- W3194920590 hasConceptScore W3194920590C80444323 @default.
- W3194920590 hasConceptScore W3194920590C89505385 @default.
- W3194920590 hasConceptScore W3194920590C97355855 @default.
- W3194920590 hasLocation W31949205901 @default.
- W3194920590 hasLocation W31949205902 @default.
- W3194920590 hasOpenAccess W3194920590 @default.
- W3194920590 hasPrimaryLocation W31949205901 @default.
- W3194920590 hasRelatedWork W10175881 @default.
- W3194920590 hasRelatedWork W1038880 @default.
- W3194920590 hasRelatedWork W11123744 @default.
- W3194920590 hasRelatedWork W11697580 @default.
- W3194920590 hasRelatedWork W11900108 @default.
- W3194920590 hasRelatedWork W5343477 @default.
- W3194920590 hasRelatedWork W5747143 @default.
- W3194920590 hasRelatedWork W9334682 @default.
- W3194920590 hasRelatedWork W9523963 @default.
- W3194920590 hasRelatedWork W1538262 @default.
- W3194920590 isParatext "false" @default.
- W3194920590 isRetracted "false" @default.
- W3194920590 magId "3194920590" @default.
- W3194920590 workType "article" @default.