Fully Abstract Semantics for Concurrent Lambda-calculus

Authors:
Mariangiola Dezani-Ciancaglini;Ugo de'Liguoro;Adolfo Piperno
Affiliations:
-;-;-
Venue:
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Year:
1994

Citing 0
Cited 5

Types, or: Where's the Difference Between CCS and pi?

CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A semantics for lambda calculi with resources

Mathematical Structures in Computer Science
Termination of processes

Mathematical Structures in Computer Science
Calculi, types and applications

Theoretical Computer Science
Mobile processes and termination

Semantics and algebraic specification

Quantified Score

Hi-index	0.01

Visualization

Abstract