zbMATH — the first resource for mathematics

HLCL ’98. 3rd international workshop on High-level concurrent languages. Nice, France, September 12, 1998. (English) Zbl 0903.00063
Electronic Notes in Theoretical Computer Science. 16.3. Amsterdam: Elsevier, 7 articles (1998).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
White, J. E., Why networks aren’t programmable (or, why programs aren’t protocols), electronic paper No. 2 [Zbl 0917.68010]
Hennessy, M.; Riely, J., Resource access control in systems of mobile agents, electronic paper No. 3 [Zbl 0917.68047]
Vasconcelos, V. T.; Lopes, L.; Silva, F., Distribution and mobility with lexical scoping in process calculi, electronic paper No. 4 [Zbl 0917.68009]
Le Fessant, F.; Maranget, L., Compiling join-patterns, electronic paper No. 5 [Zbl 0917.68067]
Sumii, E.; Kobayashi, N., A generalized deadlock-free process calculus, electronic paper No. 6 [Zbl 0917.68065]
Gordon, A. D.; Hankin, P. D., A concurrent object calculus: Reduction and typing, electronic paper No. 7 [Zbl 0917.68064]
Arvind; Maessen, K. W.; Nikhil, R. S.; Stoy, J. E., LambdaS: An implicitly parallel lambda-calculus with letrec, synchronization and side-effects, electronic paper No. 8 [Zbl 0917.68027]

00B25 Proceedings of conferences of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
Full Text: Link