|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nadia Busi, Gianluigi Zavattaro |
On the Expressiveness of Movement in Pure Mobile Ambients.  |
F-WAN@ICALP  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Joaquim Gabarró, Alan Stewart, Maurice Clint |
Grab and Go Systems: a CPO approach to concurrent web and grid-based computation. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone |
Preface - F-WAN: Foundations of Wide Area Network Computing. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Grazia Vigliotti, Iain Phillips 0001 |
Barbs and Congruences for Safe Mobile Ambients. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Viviana Bono, Ferruccio Damiani, Paola Giannini |
A Calculus for "Environment-Aware" Computation. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Florence Germain, Marc Lacoste, Jean-Bernard Stefani |
An Abstract Machine for a Higher-Order Distributed Process Calculus. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian-Luigi Ferrari 0002, Eugenio Moggi, Rosario Pugliese |
Guardians for Ambient-based Monitoring. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominic Duggan |
Abstractions for Fault-Tolerant Global Computing. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | José-Luis Vivas, Nobuko Yoshida |
Dynamic Channel Screening in the Higher Order pi-Calculus. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Michele Bugliesi, Giuseppe Castagna |
Information Flow Security for Boxed Ambients. |
F-WAN@ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimiro Sassone (eds.) |
Foundations of Wide Area Network Computing, F-WAN 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12-13, 2002 |
F-WAN@ICALP |
2002 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license