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
Pages
5
From page
289
To page
293
Keywords
Concurrency , Formal semantics , Fully abstract semantics , Denotational semantics , Non·determinism , Infinitecomputations , Fixpoint semantics
Journal title
Information Processing Letters
Serial Year
1996
Journal title
Information Processing Letters
Record number
128600
Link To Document