Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155497376> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2155497376 endingPage "200" @default.
- W2155497376 startingPage "185" @default.
- W2155497376 abstract "Individual components in an inter-operating system will require assurance both of appropriate functionality and of responsiveness from other components. We have developed properties which capture the notion of non-blocking responsive behaviour, together with machine-based checks implemented in the CSP model-checker, FDR. In this paper we illustrate the use of our responsiveness properties with a small example, and provide a detailed comparison to related work in CCS. To this end we develop a new model of CSP with respect to which such properties are fully abstract." @default.
- W2155497376 created "2016-06-24" @default.
- W2155497376 creator A5032832343 @default.
- W2155497376 creator A5045639409 @default.
- W2155497376 creator A5063583310 @default.
- W2155497376 date "2006-01-01" @default.
- W2155497376 modified "2023-09-28" @default.
- W2155497376 title "Machine-Verifiable Responsiveness" @default.
- W2155497376 cites W1482870073 @default.
- W2155497376 cites W1530697534 @default.
- W2155497376 cites W1907309577 @default.
- W2155497376 cites W2098996654 @default.
- W2155497376 cites W2110699786 @default.
- W2155497376 cites W2144545266 @default.
- W2155497376 cites W2146492848 @default.
- W2155497376 cites W2913048148 @default.
- W2155497376 cites W3143367798 @default.
- W2155497376 cites W3144368627 @default.
- W2155497376 cites W3142790043 @default.
- W2155497376 doi "https://doi.org/10.1016/j.entcs.2005.10.012" @default.
- W2155497376 hasPublicationYear "2006" @default.
- W2155497376 type Work @default.
- W2155497376 sameAs 2155497376 @default.
- W2155497376 citedByCount "3" @default.
- W2155497376 crossrefType "journal-article" @default.
- W2155497376 hasAuthorship W2155497376A5032832343 @default.
- W2155497376 hasAuthorship W2155497376A5045639409 @default.
- W2155497376 hasAuthorship W2155497376A5063583310 @default.
- W2155497376 hasBestOaLocation W21554973761 @default.
- W2155497376 hasConcept C110251889 @default.
- W2155497376 hasConcept C127413603 @default.
- W2155497376 hasConcept C144745244 @default.
- W2155497376 hasConcept C177264268 @default.
- W2155497376 hasConcept C18762648 @default.
- W2155497376 hasConcept C199360897 @default.
- W2155497376 hasConcept C31258907 @default.
- W2155497376 hasConcept C41008148 @default.
- W2155497376 hasConcept C78519656 @default.
- W2155497376 hasConcept C85847156 @default.
- W2155497376 hasConceptScore W2155497376C110251889 @default.
- W2155497376 hasConceptScore W2155497376C127413603 @default.
- W2155497376 hasConceptScore W2155497376C144745244 @default.
- W2155497376 hasConceptScore W2155497376C177264268 @default.
- W2155497376 hasConceptScore W2155497376C18762648 @default.
- W2155497376 hasConceptScore W2155497376C199360897 @default.
- W2155497376 hasConceptScore W2155497376C31258907 @default.
- W2155497376 hasConceptScore W2155497376C41008148 @default.
- W2155497376 hasConceptScore W2155497376C78519656 @default.
- W2155497376 hasConceptScore W2155497376C85847156 @default.
- W2155497376 hasLocation W21554973761 @default.
- W2155497376 hasLocation W21554973762 @default.
- W2155497376 hasOpenAccess W2155497376 @default.
- W2155497376 hasPrimaryLocation W21554973761 @default.
- W2155497376 hasRelatedWork W1499970290 @default.
- W2155497376 hasRelatedWork W1583364777 @default.
- W2155497376 hasRelatedWork W2151898527 @default.
- W2155497376 hasRelatedWork W2155497376 @default.
- W2155497376 hasRelatedWork W2159205950 @default.
- W2155497376 hasRelatedWork W2255133889 @default.
- W2155497376 hasRelatedWork W2324890633 @default.
- W2155497376 hasRelatedWork W47563837 @default.
- W2155497376 hasRelatedWork W9088558 @default.
- W2155497376 hasRelatedWork W2583261385 @default.
- W2155497376 hasVolume "145" @default.
- W2155497376 isParatext "false" @default.
- W2155497376 isRetracted "false" @default.
- W2155497376 magId "2155497376" @default.
- W2155497376 workType "article" @default.