Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034863789> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2034863789 endingPage "500" @default.
- W2034863789 startingPage "491" @default.
- W2034863789 abstract "Abstract “Time-dependent” semantics are given for the programming language occam . Using such semantics, behavioural analysis of distributed real-time computations written in occam can be made. The weakest pre-condition, which reflects the ‘latest point’ in ‘time’ to start the computation such that a proper termination is guaranteed within a pre-specified time T G , may then be derived." @default.
- W2034863789 created "2016-06-24" @default.
- W2034863789 creator A5051297843 @default.
- W2034863789 date "1988-08-01" @default.
- W2034863789 modified "2023-09-26" @default.
- W2034863789 title "On the analysis of occam real-time distributed computations" @default.
- W2034863789 cites W1967175382 @default.
- W2034863789 cites W1984831616 @default.
- W2034863789 cites W2029873963 @default.
- W2034863789 cites W2035953396 @default.
- W2034863789 cites W2082912235 @default.
- W2034863789 cites W2102728965 @default.
- W2034863789 cites W2103953153 @default.
- W2034863789 cites W2125110532 @default.
- W2034863789 cites W2131377110 @default.
- W2034863789 cites W2163835031 @default.
- W2034863789 cites W2336523070 @default.
- W2034863789 cites W2571737579 @default.
- W2034863789 doi "https://doi.org/10.1016/0165-6074(88)90101-9" @default.
- W2034863789 hasPublicationYear "1988" @default.
- W2034863789 type Work @default.
- W2034863789 sameAs 2034863789 @default.
- W2034863789 citedByCount "2" @default.
- W2034863789 crossrefType "journal-article" @default.
- W2034863789 hasAuthorship W2034863789A5051297843 @default.
- W2034863789 hasConcept C105795698 @default.
- W2034863789 hasConcept C120314980 @default.
- W2034863789 hasConcept C173608175 @default.
- W2034863789 hasConcept C199360897 @default.
- W2034863789 hasConcept C33923547 @default.
- W2034863789 hasConcept C41008148 @default.
- W2034863789 hasConcept C45374587 @default.
- W2034863789 hasConcept C459310 @default.
- W2034863789 hasConcept C64802038 @default.
- W2034863789 hasConcept C78469957 @default.
- W2034863789 hasConceptScore W2034863789C105795698 @default.
- W2034863789 hasConceptScore W2034863789C120314980 @default.
- W2034863789 hasConceptScore W2034863789C173608175 @default.
- W2034863789 hasConceptScore W2034863789C199360897 @default.
- W2034863789 hasConceptScore W2034863789C33923547 @default.
- W2034863789 hasConceptScore W2034863789C41008148 @default.
- W2034863789 hasConceptScore W2034863789C45374587 @default.
- W2034863789 hasConceptScore W2034863789C459310 @default.
- W2034863789 hasConceptScore W2034863789C64802038 @default.
- W2034863789 hasConceptScore W2034863789C78469957 @default.
- W2034863789 hasIssue "1-5" @default.
- W2034863789 hasLocation W20348637891 @default.
- W2034863789 hasOpenAccess W2034863789 @default.
- W2034863789 hasPrimaryLocation W20348637891 @default.
- W2034863789 hasRelatedWork W1513409726 @default.
- W2034863789 hasRelatedWork W1572523360 @default.
- W2034863789 hasRelatedWork W1850053445 @default.
- W2034863789 hasRelatedWork W1984698099 @default.
- W2034863789 hasRelatedWork W1991099269 @default.
- W2034863789 hasRelatedWork W2025294878 @default.
- W2034863789 hasRelatedWork W2034863789 @default.
- W2034863789 hasRelatedWork W2900736724 @default.
- W2034863789 hasRelatedWork W2965967938 @default.
- W2034863789 hasRelatedWork W4236976947 @default.
- W2034863789 hasVolume "24" @default.
- W2034863789 isParatext "false" @default.
- W2034863789 isRetracted "false" @default.
- W2034863789 magId "2034863789" @default.
- W2034863789 workType "article" @default.