Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
2006 (13) 2008 (1)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
LIX(14)
Authors
Catuscia Palamidessi(2) Cornelis A. Middelburg(1) Dirk A. van Beek(1) Emmanuelle Encrenaz(1) Filippo Bonchi(1) Frank D. Valencia(1) Frank Valencia(1) Hubert Garavel(1) Jacobus E. Rooda(1) Jan A. Bergstra(1) Joachim Parrow(1) Jos C. M. Baeten(1) Kazunori Ueda(1) Kohei Honda 0001(1) Laurent Fribourg(1) Marco Carbone(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Catuscia Palamidessi, Frank Valencia (eds.) Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, LIX 2006, Paris, France, November 13-15, 2006 Search on Bibsonomy LIX The full citation details ... 2008 DBLP  BibTeX  RDF
1Jos C. M. Baeten, Dirk A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers, Rolf J. M. Theunissen Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marco Carbone, Kohei Honda 0001, Nobuko Yoshida Theoretical Aspects of Communication-Centred Programming. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mario Bravetti Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nadia Busi Expressiveness Issues in Brane Calculi: A Survey. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kazunori Ueda Encoding Distributed Process Calculi into LMNtal. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Joachim Parrow Expressiveness of Process Algebras. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Ugo Montanari A Coalgebraic Theory of Reactive Systems. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jan A. Bergstra, Cornelis A. Middelburg Parallel Processes with Implicit Computational Capital. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Robin Milner Bigraphs and Their Algebra. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Catuscia Palamidessi, Frank D. Valencia Preface. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tony Hoare Verification of Fine-grain Concurrent Programs. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Emmanuelle Encrenaz, Laurent Fribourg Time Separation of Events: An Inverse Method. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hubert Garavel Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. Search on Bibsonomy LIX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (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