pith. sign in

Roberto Amadio (PPS)

Identifiers

  • name variant Roberto Amadio (PPS) 0.60 · backfill

Papers (12)

  1. A decompilation of the pi-calculus and its application to termination cs.PL · 2011 · author #1
  2. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2010 · author #1
  3. An affine-intuitionistic system of types and effects: confluence and termination cs.LO · 2009 · author #1
  4. On stratified regions cs.LO · 2009 · author #1
  5. On convergence-sensitive bisimulation and the embedding of CCS in timed CCS cs.LO · 2008 · author #1
  6. On affine usages in signal-based communication cs.LO · 2008 · author #1
  7. Determinacy in a synchronous pi-calculus cs.LO · 2007 · author #1
  8. Feasible reactivity in a synchronous pi-calculus cs.LO · 2007 · author #1
  9. A synchronous pi-calculus cs.LO · 2006 · author #1
  10. Reactive concurrent programming revisited cs.PL · 2005 · author #1
  11. Resource Control for Synchronous Cooperative Threads cs.PL · 2005 · author #1
  12. The SL synchronous language, revisited cs.PL · 2005 · author #1

Mentions

  • 1102.2339 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 1005.0835 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 0912.0419 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 0904.2076 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 0806.0936 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 0804.1729 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)
  • 0707.0556 #1 · backfill · confidence 0.70 Roberto Amadio (PPS)

Frequent Coauthors