OpenAlex
Proof-Carrying Code in a Session-Typed Process Calculus
Work
Year: 2011
Type: book-chapter
Source: Lecture notes in computer science
Authors Frank Pfenning, Luı́s Caires, Bernardo Toninho
Institutions Carnegie Mellon University, Universidade Nova de Lisboa
Cites: 24
Cited by: 33
Related to: 10
FWCI: 5.283
Citation percentile (by year/subfield): 91.23
Topic: Logic, programming, and type systems
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed