The successes and failures of behavioural models
Andrew William Roscoe, Ruth Förster · 2005
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. 1