Matches in SemOpenAlex for { <https://semopenalex.org/work/W2563328880> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2563328880 abstract "This paper presents an assume-guarantee specification theory (aka interface theory from [11]) for modular synthesis and verification of real-time processes with critical timing constraints. Four operations, i.e. conjunction, disjunction, parallel and quotient, are defined over specifications, drawing inspirations from classic specification theories like refinement calculus [4, 19]. We show that a congruence (or pre-congruence) characterised by a trace-based semantics [14] captures exactly the notion of substitutivity (or refinement) between specifications." @default.
- W2563328880 created "2017-01-06" @default.
- W2563328880 creator A5053563069 @default.
- W2563328880 creator A5056101043 @default.
- W2563328880 creator A5081710233 @default.
- W2563328880 creator A5083153693 @default.
- W2563328880 date "2016-12-18" @default.
- W2563328880 modified "2023-09-22" @default.
- W2563328880 title "A Specification Theory of Real-Time Processes" @default.
- W2563328880 cites W1491037212 @default.
- W2563328880 cites W1606824214 @default.
- W2563328880 cites W1786563508 @default.
- W2563328880 cites W2092302749 @default.
- W2563328880 cites W2101508170 @default.
- W2563328880 cites W2124873137 @default.
- W2563328880 cites W2139101939 @default.
- W2563328880 cites W2140818581 @default.
- W2563328880 cites W2152069471 @default.
- W2563328880 cites W2152198540 @default.
- W2563328880 cites W2156314014 @default.
- W2563328880 cites W2183630068 @default.
- W2563328880 cites W2293287097 @default.
- W2563328880 cites W2914055623 @default.
- W2563328880 cites W4214502634 @default.
- W2563328880 cites W4240821204 @default.
- W2563328880 cites W4253748132 @default.
- W2563328880 doi "https://doi.org/10.1007/978-3-319-51046-0_2" @default.
- W2563328880 hasPublicationYear "2016" @default.
- W2563328880 type Work @default.
- W2563328880 sameAs 2563328880 @default.
- W2563328880 citedByCount "1" @default.
- W2563328880 countsByYear W25633288802019 @default.
- W2563328880 crossrefType "book-chapter" @default.
- W2563328880 hasAuthorship W2563328880A5053563069 @default.
- W2563328880 hasAuthorship W2563328880A5056101043 @default.
- W2563328880 hasAuthorship W2563328880A5081710233 @default.
- W2563328880 hasAuthorship W2563328880A5083153693 @default.
- W2563328880 hasConcept C101468663 @default.
- W2563328880 hasConcept C116253237 @default.
- W2563328880 hasConcept C121158502 @default.
- W2563328880 hasConcept C132074034 @default.
- W2563328880 hasConcept C136119220 @default.
- W2563328880 hasConcept C138885662 @default.
- W2563328880 hasConcept C161191863 @default.
- W2563328880 hasConcept C184337299 @default.
- W2563328880 hasConcept C199360897 @default.
- W2563328880 hasConcept C199422724 @default.
- W2563328880 hasConcept C202444582 @default.
- W2563328880 hasConcept C2524010 @default.
- W2563328880 hasConcept C2984882572 @default.
- W2563328880 hasConcept C33923547 @default.
- W2563328880 hasConcept C41008148 @default.
- W2563328880 hasConcept C41895202 @default.
- W2563328880 hasConcept C75291252 @default.
- W2563328880 hasConcept C80444323 @default.
- W2563328880 hasConceptScore W2563328880C101468663 @default.
- W2563328880 hasConceptScore W2563328880C116253237 @default.
- W2563328880 hasConceptScore W2563328880C121158502 @default.
- W2563328880 hasConceptScore W2563328880C132074034 @default.
- W2563328880 hasConceptScore W2563328880C136119220 @default.
- W2563328880 hasConceptScore W2563328880C138885662 @default.
- W2563328880 hasConceptScore W2563328880C161191863 @default.
- W2563328880 hasConceptScore W2563328880C184337299 @default.
- W2563328880 hasConceptScore W2563328880C199360897 @default.
- W2563328880 hasConceptScore W2563328880C199422724 @default.
- W2563328880 hasConceptScore W2563328880C202444582 @default.
- W2563328880 hasConceptScore W2563328880C2524010 @default.
- W2563328880 hasConceptScore W2563328880C2984882572 @default.
- W2563328880 hasConceptScore W2563328880C33923547 @default.
- W2563328880 hasConceptScore W2563328880C41008148 @default.
- W2563328880 hasConceptScore W2563328880C41895202 @default.
- W2563328880 hasConceptScore W2563328880C75291252 @default.
- W2563328880 hasConceptScore W2563328880C80444323 @default.
- W2563328880 hasLocation W25633288801 @default.
- W2563328880 hasOpenAccess W2563328880 @default.
- W2563328880 hasPrimaryLocation W25633288801 @default.
- W2563328880 hasRelatedWork W1499503385 @default.
- W2563328880 hasRelatedWork W1507415362 @default.
- W2563328880 hasRelatedWork W1507452355 @default.
- W2563328880 hasRelatedWork W1529507713 @default.
- W2563328880 hasRelatedWork W1543550954 @default.
- W2563328880 hasRelatedWork W1597229564 @default.
- W2563328880 hasRelatedWork W1598016083 @default.
- W2563328880 hasRelatedWork W1603135579 @default.
- W2563328880 hasRelatedWork W167034675 @default.
- W2563328880 hasRelatedWork W1997183294 @default.
- W2563328880 hasRelatedWork W2019790901 @default.
- W2563328880 hasRelatedWork W2114095738 @default.
- W2563328880 hasRelatedWork W2127608336 @default.
- W2563328880 hasRelatedWork W2134469331 @default.
- W2563328880 hasRelatedWork W2165089348 @default.
- W2563328880 hasRelatedWork W2298117924 @default.
- W2563328880 hasRelatedWork W2414060773 @default.
- W2563328880 hasRelatedWork W2729250683 @default.
- W2563328880 hasRelatedWork W2892050133 @default.
- W2563328880 hasRelatedWork W30165287 @default.
- W2563328880 isParatext "false" @default.
- W2563328880 isRetracted "false" @default.
- W2563328880 magId "2563328880" @default.
- W2563328880 workType "book-chapter" @default.