default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd HLCL 1998: Nice, France
- Uwe Nestmann, Benjamin C. Pierce:
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998. Electronic Notes in Theoretical Computer Science 16(3), Elsevier 1998 - J. E. White:
Why networks aren't programmable (or, why programs aren't protocols). 173 - Matthew Hennessy, James Riely
:
Resource Access Control in Systems of Mobile Agents. 174-188 - Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva:
Distribution and Mobility with Lexical Scoping in Process Calculi. 189-204 - Fabrice Le Fessant, Luc Maranget:
Compiling Join-Patterns. 205-224 - Eijiro Sumii, Naoki Kobayashi:
A Generalized Deadlock-Free Process Calculus. 225-247 - Andrew D. Gordon, Paul D. Hankin:
A Concurrent Object Calculus: Reduction and Typing. 248-264 - Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy:
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. 265-290 - Uwe Nestmann, Benjamin C. Pierce:
Preface. 291
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
