Conjunction on processes: Full abstraction via ready-tree semantics

Gerald Lüttgen, Walter Vogler. Conjunction on processes: Full abstraction via ready-tree semantics. Theoretical Computer Science, 373(1-2):19-40, 2007. [doi]

Authors

Gerald Lüttgen

This author has not been identified. Look up 'Gerald Lüttgen' in Google

Walter Vogler

This author has not been identified. Look up 'Walter Vogler' in Google