A randomized encoding of the π-calculus with mixed choice
- Catuscia Palamidessi
- Oltea Mihaela Herescu
- 2005
- Theoretical Computer Science
Publications
Date
Featured collections
Popular topics
132 results at Theoretical Computer Science
The passport control problem or how to keep a dynamic service system load balanced?
- Alon Itai
- Michael Rodeh
- et al.
- 2002
- Theoretical Computer Science
Online paging and file caching with expiration times
- Tracy Kimbrel
- 2001
- Theoretical Computer Science
Approximation algorithms for connected maximum cut and related problems
- Mohammad Taghi Hajiaghayi
- Guy Kortsarz
- et al.
- 2020
- Theoretical Computer Science
DNA combinatorial messages and Epigenomics: The case of chromatin organization and nucleosome occupancy in eukaryotic genomes
- Raffaele Giancarlo
- Simona E. Rombo
- et al.
- 2019
- Theoretical Computer Science
Toward an algebraic theory of systems
- Christian Matt
- Ueli Maurer
- et al.
- 2018
- Theoretical Computer Science
Capacitated Max-Batching with interval graph compatibilities
- Tim Nonner
- 2016
- Theoretical Computer Science
Irredundant tandem motifs
- Laxmi Parida
- Cinzia Pizzi
- et al.
- 2014
- Theoretical Computer Science
Adaptive and optimal online linear regression on ℓ 1-balls
- Sébastien Gerchinovitz
- Jia Yuan Yu
- 2014
- Theoretical Computer Science
Quantum cryptography: Public key distribution and coin tossing
- Charles H. Bennett
- Gilles Brassard
- 2014
- Theoretical Computer Science