Communication errors in the &pgr;-calculus are undecidable

Authors:
Vasco T. Vasconcelos;António Ravara
Affiliations:
-;-
Venue:
Information Processing Letters
Year:
1999

Citing 0
Cited 1

Typing Non-uniform Concurrent Objects

CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.89

Visualization

Abstract