All Stories

  1. Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom
  2. Logic Beyond Formulas
  3. A logic featuring new nominal quantifiers designed to provide a semantics for processes