Matches in SemOpenAlex for { <https://semopenalex.org/work/W3140124136> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3140124136 abstract "We examine the advantages and disadvantages of modelling concurrent processes in the style of Hoare, where a process is modelled as a set of relatively simple behavioours, as opposed to modelling them as transition systems. A special study is made of the way these two theories handle the topic of noninterference from computer security." @default.
- W3140124136 created "2021-04-13" @default.
- W3140124136 creator A5045639409 @default.
- W3140124136 creator A5070368384 @default.
- W3140124136 date "2005-01-01" @default.
- W3140124136 modified "2023-09-28" @default.
- W3140124136 title "The successes and failures of behavioural models" @default.
- W3140124136 cites W1503973138 @default.
- W3140124136 cites W1573453798 @default.
- W3140124136 cites W167927161 @default.
- W3140124136 cites W1966263924 @default.
- W3140124136 cites W1977764760 @default.
- W3140124136 cites W2058245002 @default.
- W3140124136 cites W2102097307 @default.
- W3140124136 cites W2107100996 @default.
- W3140124136 cites W2110176660 @default.
- W3140124136 cites W2111092677 @default.
- W3140124136 cites W2133996557 @default.
- W3140124136 cites W2136920408 @default.
- W3140124136 cites W2140919105 @default.
- W3140124136 cites W2144545266 @default.
- W3140124136 cites W2157144873 @default.
- W3140124136 cites W2162785273 @default.
- W3140124136 cites W2165701902 @default.
- W3140124136 cites W2466277896 @default.
- W3140124136 cites W3139756671 @default.
- W3140124136 cites W3144368627 @default.
- W3140124136 cites W3152419802 @default.
- W3140124136 cites W46814473 @default.
- W3140124136 cites W3142790043 @default.
- W3140124136 hasPublicationYear "2005" @default.
- W3140124136 type Work @default.
- W3140124136 sameAs 3140124136 @default.
- W3140124136 citedByCount "1" @default.
- W3140124136 crossrefType "journal-article" @default.
- W3140124136 hasAuthorship W3140124136A5045639409 @default.
- W3140124136 hasAuthorship W3140124136A5070368384 @default.
- W3140124136 hasConcept C111472728 @default.
- W3140124136 hasConcept C112930515 @default.
- W3140124136 hasConcept C115903868 @default.
- W3140124136 hasConcept C127413603 @default.
- W3140124136 hasConcept C138885662 @default.
- W3140124136 hasConcept C144133560 @default.
- W3140124136 hasConcept C166957645 @default.
- W3140124136 hasConcept C177264268 @default.
- W3140124136 hasConcept C199360897 @default.
- W3140124136 hasConcept C2522767166 @default.
- W3140124136 hasConcept C2776445246 @default.
- W3140124136 hasConcept C2780586882 @default.
- W3140124136 hasConcept C41008148 @default.
- W3140124136 hasConcept C539667460 @default.
- W3140124136 hasConcept C95457728 @default.
- W3140124136 hasConcept C98045186 @default.
- W3140124136 hasConceptScore W3140124136C111472728 @default.
- W3140124136 hasConceptScore W3140124136C112930515 @default.
- W3140124136 hasConceptScore W3140124136C115903868 @default.
- W3140124136 hasConceptScore W3140124136C127413603 @default.
- W3140124136 hasConceptScore W3140124136C138885662 @default.
- W3140124136 hasConceptScore W3140124136C144133560 @default.
- W3140124136 hasConceptScore W3140124136C166957645 @default.
- W3140124136 hasConceptScore W3140124136C177264268 @default.
- W3140124136 hasConceptScore W3140124136C199360897 @default.
- W3140124136 hasConceptScore W3140124136C2522767166 @default.
- W3140124136 hasConceptScore W3140124136C2776445246 @default.
- W3140124136 hasConceptScore W3140124136C2780586882 @default.
- W3140124136 hasConceptScore W3140124136C41008148 @default.
- W3140124136 hasConceptScore W3140124136C539667460 @default.
- W3140124136 hasConceptScore W3140124136C95457728 @default.
- W3140124136 hasConceptScore W3140124136C98045186 @default.
- W3140124136 hasLocation W31401241361 @default.
- W3140124136 hasOpenAccess W3140124136 @default.
- W3140124136 hasPrimaryLocation W31401241361 @default.
- W3140124136 hasRelatedWork W1977764760 @default.
- W3140124136 hasRelatedWork W2143012848 @default.
- W3140124136 hasRelatedWork W2293259107 @default.
- W3140124136 hasRelatedWork W2364334883 @default.
- W3140124136 hasRelatedWork W2402804972 @default.
- W3140124136 hasRelatedWork W2464348210 @default.
- W3140124136 hasRelatedWork W2550474203 @default.
- W3140124136 hasRelatedWork W2731606488 @default.
- W3140124136 hasRelatedWork W2750863162 @default.
- W3140124136 hasRelatedWork W2800800175 @default.
- W3140124136 hasRelatedWork W2888595797 @default.
- W3140124136 hasRelatedWork W2953350485 @default.
- W3140124136 hasRelatedWork W2972049303 @default.
- W3140124136 hasRelatedWork W3013571126 @default.
- W3140124136 hasRelatedWork W3022954448 @default.
- W3140124136 hasRelatedWork W34454872 @default.
- W3140124136 hasRelatedWork W84725544 @default.
- W3140124136 hasRelatedWork W184178056 @default.
- W3140124136 hasRelatedWork W2182602268 @default.
- W3140124136 hasRelatedWork W2185686990 @default.
- W3140124136 isParatext "false" @default.
- W3140124136 isRetracted "false" @default.
- W3140124136 magId "3140124136" @default.
- W3140124136 workType "article" @default.