|
A Semantic Theory for Value-Passing Processes Late Approach Part II: A Behavioural Semantics and Full Abstractness Anna Ingólfsdóttir April 1995 |
Abstract:A bisimulation based behavioural semantics, which reflects the late semantic approach, is given for CCS-like language. The denotational semantics given in the companion paper, part I, is shown to be fully abstract to a value-finitary version of the bisimulation preorder
Available as PostScript, PDF, DVI. |