Asynchronous Sequential Processes

Denis Caromel (1) , Ludovic Henrio (1)

1 OASIS - Active objects, semantics, Internet and security

This document presents an object language that allows one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. An object calculus, Asynchronous Sequential Processes, is proposed and determinism properties are proposed. ASP main characteristics are asynchronous communicati- ons and sequential execution within each parallel activity.

Mots clés: OBJECT CALCULUS; DISTRIBUTED; PARALLELISM; DETERMINISM

Domaines: Autre [cs.OH]

Denis Caromel, Ludovic Henrio. Asynchronous Sequential Processes. [Research Report] RR-4753, INRIA. 2003. ⟨inria-00071834⟩