Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "MTCoord@COORDINATION"( http://dblp.L3S.de/Venues/MTCoord@COORDINATION )

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

Publication years (Num. hits)
2005 (10) 2006 (1)
Publication types (Num. hits)
inproceedings(10) proceedings(1)
Venues (Conferences, Journals, ...)
MTCoord@COORDINATION(11)
Authors
Isabelle Linden(2) Lubos Brim(2) Andries W. Stam(1) Axel Legay(1) Carolyn L. Talcott(1) Céline Kuttler(1) Clemens Schäfer(1) David de Frutos-Escrig(1) Denys Duchier(1) Erik P. de Vink(1) Fernando Rosa-Velardo(1) Frédéric Guinand(1) Guido Boella(1) Henning Niss(1) Jacob W. Winther(1) Leendert W. N. van der Torre(1) More (+10 of total 25)
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
1Lubos Brim, Isabelle Linden (eds.) Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord@COORDINATION 2005, Namur, Belgium, April 23, 2005 Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2006 DBLP  BibTeX  RDF
1Denys Duchier, Céline Kuttler Biomolecular Agents as Multi-behavioural Concurrent Objects. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Volker Gruhn, Clemens Schäfer Architecture Description for Mobile Distributed Systems Using Typed pi-Calculus. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Lubos Brim, Isabelle Linden Preface. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fernando Rosa-Velardo, Olga Marroquín Alonso, David de Frutos-Escrig Mobile Synchronizing Petri Nets: A Choreographic Approach for Coordination in Ubiquitous Systems. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Axel Legay, Pierre Wolper On the Use of Automata-based Techniques in Symbolic Model Checking: Invited Address. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Thomas T. Hildebrandt, Henning Niss, Martin Olsen, Jacob W. Winther Distributed Reactive XML. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Luc Hogie, Pascal Bouvry, Frédéric Guinand An Overview of MANETs Simulation. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Carolyn L. Talcott Coordination Models Based on a Formal Model of Distributed Object Reflection. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre Roles as a Coordination Construct: Introducing powerJava. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Andries W. Stam, Luuk Groenewegen, Erik P. de Vink Restructuring Paradigm Models for the ToolBus Architecture: A Case Study. Search on Bibsonomy MTCoord@COORDINATION The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (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