Matches in SemOpenAlex for { <https://semopenalex.org/work/W1555690377> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1555690377 abstract "Timed process algebras are useful tools for the specification and verification of real-time systems. We study the expressiveness of (classes of) these algebras which deal with temporal aspects of concurrent systems by following very different interpretations: durational actions versus durationless actions, absolute time versus relative time, timed functional behavior versus time and functional behavior, local clocks versus global clocks, eagerness versus laziness versus maximal progress." @default.
- W1555690377 created "2016-06-24" @default.
- W1555690377 creator A5028388054 @default.
- W1555690377 creator A5078426900 @default.
- W1555690377 date "2004-01-01" @default.
- W1555690377 modified "2023-10-14" @default.
- W1555690377 title "Expressiveness of Timed Events and Timed Languages" @default.
- W1555690377 cites W1486383653 @default.
- W1555690377 cites W1491397732 @default.
- W1555690377 cites W1491976353 @default.
- W1555690377 cites W1536225137 @default.
- W1555690377 cites W1559986400 @default.
- W1555690377 cites W1575288406 @default.
- W1555690377 cites W1587275578 @default.
- W1555690377 cites W1604894272 @default.
- W1555690377 cites W1856674069 @default.
- W1555690377 cites W1876334967 @default.
- W1555690377 cites W1970078694 @default.
- W1555690377 cites W1971107784 @default.
- W1555690377 cites W1973351415 @default.
- W1555690377 cites W1977455872 @default.
- W1555690377 cites W1995675150 @default.
- W1555690377 cites W2001026449 @default.
- W1555690377 cites W2002076098 @default.
- W1555690377 cites W2022360370 @default.
- W1555690377 cites W2069267042 @default.
- W1555690377 cites W2116486164 @default.
- W1555690377 cites W2125382028 @default.
- W1555690377 cites W2126860147 @default.
- W1555690377 cites W2128932399 @default.
- W1555690377 cites W2138549619 @default.
- W1555690377 cites W2147535250 @default.
- W1555690377 cites W2155852086 @default.
- W1555690377 cites W2079970336 @default.
- W1555690377 doi "https://doi.org/10.1007/978-3-540-30080-9_4" @default.
- W1555690377 hasPublicationYear "2004" @default.
- W1555690377 type Work @default.
- W1555690377 sameAs 1555690377 @default.
- W1555690377 citedByCount "4" @default.
- W1555690377 countsByYear W15556903772012 @default.
- W1555690377 countsByYear W15556903772014 @default.
- W1555690377 crossrefType "book-chapter" @default.
- W1555690377 hasAuthorship W1555690377A5028388054 @default.
- W1555690377 hasAuthorship W1555690377A5078426900 @default.
- W1555690377 hasConcept C118552586 @default.
- W1555690377 hasConcept C15744967 @default.
- W1555690377 hasConcept C161771561 @default.
- W1555690377 hasConcept C199360897 @default.
- W1555690377 hasConcept C25016198 @default.
- W1555690377 hasConcept C2776447739 @default.
- W1555690377 hasConcept C41008148 @default.
- W1555690377 hasConcept C80444323 @default.
- W1555690377 hasConcept C98045186 @default.
- W1555690377 hasConceptScore W1555690377C118552586 @default.
- W1555690377 hasConceptScore W1555690377C15744967 @default.
- W1555690377 hasConceptScore W1555690377C161771561 @default.
- W1555690377 hasConceptScore W1555690377C199360897 @default.
- W1555690377 hasConceptScore W1555690377C25016198 @default.
- W1555690377 hasConceptScore W1555690377C2776447739 @default.
- W1555690377 hasConceptScore W1555690377C41008148 @default.
- W1555690377 hasConceptScore W1555690377C80444323 @default.
- W1555690377 hasConceptScore W1555690377C98045186 @default.
- W1555690377 hasLocation W15556903771 @default.
- W1555690377 hasOpenAccess W1555690377 @default.
- W1555690377 hasPrimaryLocation W15556903771 @default.
- W1555690377 hasRelatedWork W1532058475 @default.
- W1555690377 hasRelatedWork W1652311832 @default.
- W1555690377 hasRelatedWork W2118300983 @default.
- W1555690377 hasRelatedWork W2135396778 @default.
- W1555690377 hasRelatedWork W2166247150 @default.
- W1555690377 hasRelatedWork W2243428364 @default.
- W1555690377 hasRelatedWork W2462453872 @default.
- W1555690377 hasRelatedWork W3207171446 @default.
- W1555690377 hasRelatedWork W4243252198 @default.
- W1555690377 hasRelatedWork W4245713008 @default.
- W1555690377 isParatext "false" @default.
- W1555690377 isRetracted "false" @default.
- W1555690377 magId "1555690377" @default.
- W1555690377 workType "book-chapter" @default.