Publisher: Elsevier

Related content
Volume 16, Number 3, January 2004

< previous issue | all issues | next issue >

Favourites:Add to Favourites

S - An implicitly parallel -calculus with recursive bindings, synchronization and side effects
pp. 1-26(26)
Authors: Arvind; Maessen, J.; Nikhil, R.S.; Stoy, J.E.

Favourites:Add to Favourites

Distribution and Mobility with Lexical Scoping in Process Calculi
pp. 1-16(16)
Authors: Vasconcelos, V.T.; Lopes, L.; Silva, F.

Favourites:Add to Favourites

Compiling Join-Patterns
pp. 1-20(20)
Authors: Le Fessant, F.; Maranget, L.

Favourites:Add to Favourites

A Generalized Deadlock-Free Process Calculus
pp. 1-23(23)
Authors: Sumii, E.; Kobayashi, N.

Favourites:Add to Favourites

A Concurrent Object Calculus - Reduction and Typing
pp. 1-17(17)
Authors: Gordon, A.D.; Hankin, P.D.

Favourites:Add to Favourites

Share Content

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more