Mobile Computation: Calculus and Languages (A Tutorial)

Authors:
N. Raja;R. K. Shyamasundar
Affiliations:
-;-
Venue:
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Year:
1998

Citing 7
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Linda in context

Communications of the ACM
A logic of authentication

ACM Transactions on Computer Systems (TOCS)
A calculus for cryptographic protocols: the spi calculus

Proceedings of the 4th ACM conference on Computer and communications security
The Java programming language (2nd ed.)

The Java programming language (2nd ed.)
Bauhaus Linda

ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper provides a brief overview of a tutorial on current research directions in mobile computation. In particular we provide an overview of the various abstract calculi for mobility, an overview of the programming languages that have been developed for mobile computation, and provide a comparative study of the language abstractions via the calculi and discuss the underlying challenges.