Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HLCL"( http://dblp.L3S.de/Venues/HLCL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hlcl

Publication years (Num. hits)
1998 (9) 2000 (3)
Publication types (Num. hits)
inproceedings(10) proceedings(2)
Venues (Conferences, Journals, ...)
HLCL(12)
Authors
Benjamin C. Pierce(2) Peter Sewell(2) Uwe Nestmann(2) Andrew D. Gordon 0001(1) Arvind(1) Eijiro Sumii(1) Fabrice Le Fessant(1) Fernando M. A. Silva(1) Ian Stark(1) J. E. White(1) James Riely(1) Jan-Willem Maessen(1) John H. Reppy(1) Joseph E. Stoy(1) Luc Maranget(1) Luís M. B. Lopes(1) More (+10 of total 22)
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
1Tom Chothia, Ian Stark A Distributed Pi-Calculus with Local Areas of Communication. Search on Bibsonomy HLCL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Peter Sewell Preface. Search on Bibsonomy HLCL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1John 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 HLCL The full citation details ... 2000 DBLP  BibTeX  RDF
1Fabrice Le Fessant, Luc Maranget Compiling Join-Patterns. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Vasco Thudichum Vasconcelos, Luís M. B. Lopes, Fernando M. A. Silva Distribution and Mobility with Lexical Scoping in Process Calculi. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Andrew D. Gordon 0001, Paul D. Hankin A Concurrent Object Calculus: Reduction and Typing. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Matthew Hennessy, James Riely Resource Access Control in Systems of Mobile Agents. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1J. E. White Why networks aren't programmable (or, why programs aren't protocols). Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Uwe Nestmann, Benjamin C. Pierce Preface. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Eijiro Sumii, Naoki Kobayashi 0001 A Generalized Deadlock-Free Process Calculus. Search on Bibsonomy HLCL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Uwe 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 HLCL The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #12 of 12 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license