|
Volumn , Issue , 1993, Pages 397-408
|
Fully abstract denotational model for higher-order processes
|
Author keywords
[No Author keywords available]
|
Indexed keywords
AUTOMATA THEORY;
BOOLEAN ALGEBRA;
COMMUNICATION CHANNELS (INFORMATION THEORY);
COMPUTATIONAL LINGUISTICS;
INFORMATION THEORY;
MATHEMATICAL MODELS;
PARALLEL PROCESSING SYSTEMS;
DENOTATIONAL MODEL;
FULL ABSTRACTION;
HIGHER ORDER PROCESSES;
LAZY LAMBDA CALCULUS;
COMPUTATIONAL LINGUISTICS;
|
EID: 0027148292
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (5)
|
References (24)
|