Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/birthday/BaldanCK08,
  author       = {Paolo Baldan and
                  Andrea Corradini and
                  Barbara K{\"{o}}nig},
  title        = {Unfolding Graph Transformation Systems: Theory and Applications to
                  Verification},
  booktitle    = {Concurrency, Graphs and Models},
  series       = {Lecture Notes in Computer Science},
  volume       = {5065},
  pages        = {16--36},
  publisher    = {Springer},
  year         = {2008}
}

@inproceedings{DBLP:conf/birthday/Gorrieri08,
  author       = {Roberto Gorrieri},
  title        = {Ugo Montanari and Concurrency Theory},
  booktitle    = {Concurrency, Graphs and Models},
  series       = {Lecture Notes in Computer Science},
  volume       = {5065},
  pages        = {403--408},
  publisher    = {Springer},
  year         = {2008}
}

@inproceedings{DBLP:conf/podc/Fischer08,
  author       = {Michael J. Fischer},
  title        = {Evolution of distributed computing theory: from concurrency to networks
                  and beyond},
  booktitle    = {{PODC}},
  pages        = {460},
  publisher    = {{ACM}},
  year         = {2008}
}

@inproceedings{DBLP:conf/sigsoft/DragertDR08,
  author       = {Christopher Dragert and
                  J{\"{u}}rgen Dingel and
                  Karen Rudie},
  title        = {Generation of concurrency control code using discrete-event systems
                  theory},
  booktitle    = {{SIGSOFT} {FSE}},
  pages        = {146--157},
  publisher    = {{ACM}},
  year         = {2008}
}

@proceedings{DBLP:conf/concur/2008,
  editor       = {Franck van Breugel and
                  Marsha Chechik},
  title        = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
                  {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5201},
  publisher    = {Springer},
  year         = {2008}
}

@proceedings{DBLP:conf/lix/2006,
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  publisher    = {Elsevier},
  year         = {2008}
}