مرکز منطقه ای اطلاع رساني علوم و فناوري - Fully Abstract Semantics for Observably Sequential Languages

Title of article :

Fully Abstract Semantics for Observably Sequential Languages

Author/Authors :

Cartwright R.، نويسنده , , Curien P. L.، نويسنده , , Felleisen M.، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1994

Pages :

105

From page :

297

To page :

401

Journal title :

Information and Computation

Serial Year :

1994

Journal title :

Information and Computation

Record number :

261400

Link To Document :