Title of article :
There is no fully abstract fixpoint semantics for non-deterministic languages with infinite computations
Author/Authors :
Sven-Olof Nystr?m، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 1996
Keywords :
Concurrency , Formal semantics , Fully abstract semantics , Denotational semantics , Non·determinism , Infinitecomputations , Fixpoint semantics
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
