Combining the typed &lgr;-calculus with CCS

Authors:
William Ferreira;Mathew Hennessy;Alan S. A. Jeffrey
Affiliations:
-;-;-
Venue:
Proof, language, and interaction
Year:
2000

Citing 0
Cited 2

The π-Calculus in Direct Style

Higher-Order and Symbolic Computation
An Interpretation of Typed Concurrent Objects in the Blue Calculus

TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics

Quantified Score

Hi-index	0.00

Visualization

Abstract