|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tom Chothia, Ian Stark |
A Distributed Pi-Calculus with Local Areas of Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 4th International Workshop on High-Level Concurrent Languages, HLCL 2000, Satellite to PLI 2000, Montreal, Canada, September 20, 2000, pp. 1-16, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sewell |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 4th International Workshop on High-Level Concurrent Languages, HLCL 2000, Satellite to PLI 2000, Montreal, Canada, September 20, 2000, pp. 17-18, 2000, Elsevier. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | John H. Reppy, Peter Sewell (eds.) |
4th International Workshop on High-Level Concurrent Languages, HLCL 2000, Satellite to PLI 2000, Montreal, Canada, September 20, 2000 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![Elsevier The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
1 | Fabrice Le Fessant, Luc Maranget |
Compiling Join-Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 205-224, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva |
Distribution and Mobility with Lexical Scoping in Process Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 189-204, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 265-290, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Paul D. Hankin |
A Concurrent Object Calculus: Reduction and Typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 248-264, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy, James Riely |
Resource Access Control in Systems of Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 174-188, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | J. E. White |
Why networks aren't programmable (or, why programs aren't protocols). ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 173, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Nestmann, Benjamin C. Pierce |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 291, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Eijiro Sumii, Naoki Kobayashi 0001 |
A Generalized Deadlock-Free Process Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 225-247, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Nestmann, Benjamin C. Pierce (eds.) |
3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998 ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![Elsevier The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|