Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040558780> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2040558780 endingPage "159" @default.
- W2040558780 startingPage "138" @default.
- W2040558780 abstract "Abstract We propose a real-time extension to the process algebra CSP. Inspired by timed automata, a very successful formalism for the specification and verification of real-time systems, we handle real time by means of clocks, i.e. real-valued variables that increase at the same rate as time. This differs from the conventional approach based on timed transitions. We give a discrete trace and failures semantics to our language and define the resulting refinement relations. One advantage of our proposal is that it is possible to automatically verify refinement relations between processes. We demonstrate how this can be achieved and under which conditions." @default.
- W2040558780 created "2016-06-24" @default.
- W2040558780 creator A5052192243 @default.
- W2040558780 creator A5081710233 @default.
- W2040558780 date "2005-08-01" @default.
- W2040558780 modified "2023-10-03" @default.
- W2040558780 title "A refinement-based process algebra for timed automata" @default.
- W2040558780 cites W1981808971 @default.
- W2040558780 cites W2101508170 @default.
- W2040558780 doi "https://doi.org/10.1007/s00165-005-0064-y" @default.
- W2040558780 hasPublicationYear "2005" @default.
- W2040558780 type Work @default.
- W2040558780 sameAs 2040558780 @default.
- W2040558780 citedByCount "13" @default.
- W2040558780 countsByYear W20405587802012 @default.
- W2040558780 countsByYear W20405587802013 @default.
- W2040558780 countsByYear W20405587802014 @default.
- W2040558780 countsByYear W20405587802015 @default.
- W2040558780 countsByYear W20405587802016 @default.
- W2040558780 countsByYear W20405587802017 @default.
- W2040558780 countsByYear W20405587802023 @default.
- W2040558780 crossrefType "journal-article" @default.
- W2040558780 hasAuthorship W2040558780A5052192243 @default.
- W2040558780 hasAuthorship W2040558780A5081710233 @default.
- W2040558780 hasBestOaLocation W20405587801 @default.
- W2040558780 hasConcept C112505250 @default.
- W2040558780 hasConcept C11413529 @default.
- W2040558780 hasConcept C136119220 @default.
- W2040558780 hasConcept C138885662 @default.
- W2040558780 hasConcept C142362112 @default.
- W2040558780 hasConcept C153349607 @default.
- W2040558780 hasConcept C155214134 @default.
- W2040558780 hasConcept C156325763 @default.
- W2040558780 hasConcept C161771561 @default.
- W2040558780 hasConcept C184337299 @default.
- W2040558780 hasConcept C199360897 @default.
- W2040558780 hasConcept C202444582 @default.
- W2040558780 hasConcept C24858836 @default.
- W2040558780 hasConcept C2778029271 @default.
- W2040558780 hasConcept C30788636 @default.
- W2040558780 hasConcept C33923547 @default.
- W2040558780 hasConcept C41008148 @default.
- W2040558780 hasConcept C41895202 @default.
- W2040558780 hasConcept C558565934 @default.
- W2040558780 hasConcept C73301696 @default.
- W2040558780 hasConcept C75291252 @default.
- W2040558780 hasConcept C80444323 @default.
- W2040558780 hasConcept C90483712 @default.
- W2040558780 hasConceptScore W2040558780C112505250 @default.
- W2040558780 hasConceptScore W2040558780C11413529 @default.
- W2040558780 hasConceptScore W2040558780C136119220 @default.
- W2040558780 hasConceptScore W2040558780C138885662 @default.
- W2040558780 hasConceptScore W2040558780C142362112 @default.
- W2040558780 hasConceptScore W2040558780C153349607 @default.
- W2040558780 hasConceptScore W2040558780C155214134 @default.
- W2040558780 hasConceptScore W2040558780C156325763 @default.
- W2040558780 hasConceptScore W2040558780C161771561 @default.
- W2040558780 hasConceptScore W2040558780C184337299 @default.
- W2040558780 hasConceptScore W2040558780C199360897 @default.
- W2040558780 hasConceptScore W2040558780C202444582 @default.
- W2040558780 hasConceptScore W2040558780C24858836 @default.
- W2040558780 hasConceptScore W2040558780C2778029271 @default.
- W2040558780 hasConceptScore W2040558780C30788636 @default.
- W2040558780 hasConceptScore W2040558780C33923547 @default.
- W2040558780 hasConceptScore W2040558780C41008148 @default.
- W2040558780 hasConceptScore W2040558780C41895202 @default.
- W2040558780 hasConceptScore W2040558780C558565934 @default.
- W2040558780 hasConceptScore W2040558780C73301696 @default.
- W2040558780 hasConceptScore W2040558780C75291252 @default.
- W2040558780 hasConceptScore W2040558780C80444323 @default.
- W2040558780 hasConceptScore W2040558780C90483712 @default.
- W2040558780 hasIssue "2" @default.
- W2040558780 hasLocation W20405587801 @default.
- W2040558780 hasOpenAccess W2040558780 @default.
- W2040558780 hasPrimaryLocation W20405587801 @default.
- W2040558780 hasRelatedWork W1513077802 @default.
- W2040558780 hasRelatedWork W1749129787 @default.
- W2040558780 hasRelatedWork W2020116537 @default.
- W2040558780 hasRelatedWork W2040558780 @default.
- W2040558780 hasRelatedWork W2089542926 @default.
- W2040558780 hasRelatedWork W2123384876 @default.
- W2040558780 hasRelatedWork W2126748297 @default.
- W2040558780 hasRelatedWork W2180724905 @default.
- W2040558780 hasRelatedWork W2196692106 @default.
- W2040558780 hasRelatedWork W2515829486 @default.
- W2040558780 hasVolume "17" @default.
- W2040558780 isParatext "false" @default.
- W2040558780 isRetracted "false" @default.
- W2040558780 magId "2040558780" @default.
- W2040558780 workType "article" @default.