pith. sign in

DISI)

Identifiers

  • name variant DISI) 0.60 · backfill

Papers (2)

  1. Wiring the Pi-calculus to Denotational Semantics cs.LO · 2026 · author #3
  2. A framework for deadlock detection in core ABS cs.PL · 2015 · author #6

Mentions

  • 2605.18496 #3 · arxiv_oai · confidence 0.70 DISI)

Frequent Coauthors