369 citations
- Université Sorbonne Paris NordFR32 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- Stanford UniversityUS11 papers
- Université Paris CitéFR11 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR8 papers
- Sorbonne UniversitéFR8 papers
- Carnegie Mellon UniversityUS6 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL5 papers
- The Open UniversityGB5 papers
- Sorbonne Paris CitéFR4 papers
- Centre de Physique ThéoriqueFR3 papers
- Laboratoire de Physique ThéoriqueFR3 papers
Showing 2003Show all
2 papers · 1 filter
cs.LO2003★ 1 cited
Soft lambda-calculus: a language for polynomial time computation
Patrick Baillot, Virgile Mogbil
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi…
cs.DC2003
The Wake Up and Report Problem is Time-Equivalent to the Firing Squad Synchronization Problem
Darin Goldstein, Nick Meyer
We consider several problems relating to strongly-connected directed networks of identical finite-state processors that work synchronously in discrete time steps. The conceptually…