Frank Pfenning

International Conference on Concurrency Theory · 2003–2010

A researcher in the Science corpus: 3 papers; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Frank Pfenning trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Simon J. Gay

Who trusts Frank Pfenning overall

  1. Nicola Dragoni

Papers from Frank Pfenning's perspective

Ordered by how strongly the researchers Frank Pfenning trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Pi-Calculus - a theory of mobile processes
  2. A judgmental analysis of linear logic
  3. Subtyping for session types in the pi calculus (Acta Informatica)
  4. The π-Calculus: A theory of mobile processes (Scalable Computing : Practice and Experience)
  5. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  8. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  9. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  10. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION

Their papers