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.

 

Last modified: 2003-06-08 by webmaster.