|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto (eds.) |
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008 |
ICE@ICALP |
2009 |
DBLP BibTeX RDF |
|
1 | Luca Fossati, Daniele Varacca |
A Petri Net Model of Handshake Protocols. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy, Manish Gaur |
Counting the Cost in the Picalculus (Extended Abstract). |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Heindel |
Towards Secrecy for Rewriting in Weakly Adhesive Categories. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bracciali, Roberto Bruni, Alberto Lluch-Lafuente |
On Symbolic Semantics for Name-decorated Contexts. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Danièle Beauquier, Joëlle Cohen, Ruggero Lanotte |
Security Policies Enforcement Using Finite Edit Automata. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Fahima Cheikh, Guillaume Feuillade |
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Julian Rathke, Pawel Sobocinski 0001 |
Making the Unobservable, Unobservable. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto |
Preface. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke |
Symmetric and Asymmetric Asynchronous Interaction. |
ICE@ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|