Rasmus Lerchedahl Petersen

11 papers A 3B 3Journal 5
YearRankTypeTitle / Venue / Authors
2015 J jnl
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra.
J. Log. Algebraic Methods Program.
Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Jules Villard, Akbar Hussain
2013 A conf
Runtime Verification Based on Register Automata.
TACAS
Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2012 B conf
A Generic Cyclic Theorem Prover.
APLAS
James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen
2012 J jnl
Runtime Verification Based on Register Automata
CoRR
Dino Distefano, Radu Grigore, Rasmus Lerchedahl Petersen, Nikos Tzevelekos
2011 A conf
Automated Cyclic Entailment Proofs in Separation Logic.
CADE
James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen
2011 B conf
On Locality and the Exchange Law for Concurrent Processes.
CONCUR
C. A. R. Hoare, Akbar Hussain, Bernhard Möller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth
2008 A conf
A Realizability Model for Impredicative Hoare Type Theory.
ESOP
Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett
2007 J jnl
Domain-theoretical models of parametric polymorphism.
Theor. Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2006 J jnl
Linear Abadi and Plotkin Logic
CoRR
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2006 J jnl
Linear Abadi and Plotkin Logic.
Log. Methods Comput. Sci.
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen
2005 B conf
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus.
MFPS
Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen