Theoretical Computer Science

Filter
Other contribution

Search results

  • 2016

    Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

    Open Access
    File
  • 2015

    M3: Matrix Multiplication on MapReduce

    Silvestri, F. & Ceccarello, M., 2015

    Research output: Other contributionResearch