Predicative Polymorphism in Pi-Calculus

Authors:
Vasco Thudichum Vasconcelos
Affiliations:
-
Venue:
PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Year:
1994

Citing 0
Cited 3

Reasoning About Concurrent Systems Using Types

FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
What is a free name in a process algebra?

Information Processing Letters
Sequence Types for the π-calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract