Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-6
|
Results: 6
A fully abstract denotational semantics for the calculus of higher-order communicating systems
Authors:
Thomsen, B Abramsky, S
Citation:
B. Thomsen et S. Abramsky, A fully abstract denotational semantics for the calculus of higher-order communicating systems, THEOR COMP, 254(1-2), 2001, pp. 557-589
Full abstraction for PCF
Authors:
Abramsky, S Jagadeesan, R Malacaria, P
Citation:
S. Abramsky et al., Full abstraction for PCF, INF COMPUT, 163(2), 2000, pp. 409-470
Axioms for definability and full completeness
Authors:
Abramsky, S
Citation:
S. Abramsky, Axioms for definability and full completeness, FOUNDAT COM, 2000, pp. 55-75
Full abstraction for Idealized Algol with passive expressions
Authors:
Abramsky, S McCusker, G
Citation:
S. Abramsky et G. Mccusker, Full abstraction for Idealized Algol with passive expressions, THEOR COMP, 227(1-2), 1999, pp. 3-42
A specification structure for deadlock-freedom of synchronous processes
Authors:
Abramsky, S Gay, SJ Nagarajan, R
Citation:
S. Abramsky et al., A specification structure for deadlock-freedom of synchronous processes, THEOR COMP, 222(1-2), 1999, pp. 1-53
Nuclear and trace ideals in tensored -categories
Authors:
Abramsky, S Blute, R Panangaden, P
Citation:
S. Abramsky et al., Nuclear and trace ideals in tensored -categories, J PURE APPL, 143(1-3), 1999, pp. 3-47
Risultati:
1-6
|