Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999494033> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1999494033 endingPage "115" @default.
- W1999494033 startingPage "106" @default.
- W1999494033 abstract "There is a need to incorporate reasoning about time dependencies into program synthesis systems. Such dependencies have often been phrased in terms of temporal logic systems. We present an alternative method of specifying time dependencies, in a calculus of binary relations between time intervals [Lad86.1, Lad86.2]. We show how the interval calculus may be used to give very-high-level specifications of concurrent process protocols, and how these specifications may be automatically refined using interval calculus into a target specification language. We indicate how the target language may be executed, under certain sequencing assumptions." @default.
- W1999494033 created "2016-06-24" @default.
- W1999494033 creator A5013541546 @default.
- W1999494033 date "1987-03-01" @default.
- W1999494033 modified "2023-09-26" @default.
- W1999494033 title "Specification of time dependencies and synthesis of concurrent processes" @default.
- W1999494033 cites W145108188 @default.
- W1999494033 cites W1992205482 @default.
- W1999494033 cites W2040127143 @default.
- W1999494033 cites W2056740525 @default.
- W1999494033 cites W2117189826 @default.
- W1999494033 cites W2120619736 @default.
- W1999494033 cites W2122540544 @default.
- W1999494033 cites W2161484642 @default.
- W1999494033 cites W87723076 @default.
- W1999494033 doi "https://doi.org/10.5555/41765.41777" @default.
- W1999494033 hasPublicationYear "1987" @default.
- W1999494033 type Work @default.
- W1999494033 sameAs 1999494033 @default.
- W1999494033 citedByCount "6" @default.
- W1999494033 countsByYear W19994940332012 @default.
- W1999494033 crossrefType "proceedings-article" @default.
- W1999494033 hasAuthorship W1999494033A5013541546 @default.
- W1999494033 hasConcept C114614502 @default.
- W1999494033 hasConcept C118615104 @default.
- W1999494033 hasConcept C161771561 @default.
- W1999494033 hasConcept C162670838 @default.
- W1999494033 hasConcept C199360897 @default.
- W1999494033 hasConcept C201677973 @default.
- W1999494033 hasConcept C25016198 @default.
- W1999494033 hasConcept C2778067643 @default.
- W1999494033 hasConcept C33923547 @default.
- W1999494033 hasConcept C41008148 @default.
- W1999494033 hasConcept C65180967 @default.
- W1999494033 hasConcept C80444323 @default.
- W1999494033 hasConcept C98045186 @default.
- W1999494033 hasConceptScore W1999494033C114614502 @default.
- W1999494033 hasConceptScore W1999494033C118615104 @default.
- W1999494033 hasConceptScore W1999494033C161771561 @default.
- W1999494033 hasConceptScore W1999494033C162670838 @default.
- W1999494033 hasConceptScore W1999494033C199360897 @default.
- W1999494033 hasConceptScore W1999494033C201677973 @default.
- W1999494033 hasConceptScore W1999494033C25016198 @default.
- W1999494033 hasConceptScore W1999494033C2778067643 @default.
- W1999494033 hasConceptScore W1999494033C33923547 @default.
- W1999494033 hasConceptScore W1999494033C41008148 @default.
- W1999494033 hasConceptScore W1999494033C65180967 @default.
- W1999494033 hasConceptScore W1999494033C80444323 @default.
- W1999494033 hasConceptScore W1999494033C98045186 @default.
- W1999494033 hasLocation W19994940331 @default.
- W1999494033 hasOpenAccess W1999494033 @default.
- W1999494033 hasPrimaryLocation W19994940331 @default.
- W1999494033 hasRelatedWork W103868138 @default.
- W1999494033 hasRelatedWork W1590911502 @default.
- W1999494033 hasRelatedWork W1628689786 @default.
- W1999494033 hasRelatedWork W1680216687 @default.
- W1999494033 hasRelatedWork W1993650803 @default.
- W1999494033 hasRelatedWork W1996856267 @default.
- W1999494033 hasRelatedWork W2015121269 @default.
- W1999494033 hasRelatedWork W2065605087 @default.
- W1999494033 hasRelatedWork W2122540544 @default.
- W1999494033 hasRelatedWork W2151629759 @default.
- W1999494033 hasRelatedWork W2156507097 @default.
- W1999494033 hasRelatedWork W2161484642 @default.
- W1999494033 hasRelatedWork W2518584228 @default.
- W1999494033 hasRelatedWork W2520249526 @default.
- W1999494033 hasRelatedWork W3046246689 @default.
- W1999494033 hasRelatedWork W3179988825 @default.
- W1999494033 hasRelatedWork W3182274043 @default.
- W1999494033 hasRelatedWork W320378117 @default.
- W1999494033 hasRelatedWork W944248570 @default.
- W1999494033 hasRelatedWork W1809252806 @default.
- W1999494033 isParatext "false" @default.
- W1999494033 isRetracted "false" @default.
- W1999494033 magId "1999494033" @default.
- W1999494033 workType "article" @default.