Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Adrian Francalanza
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Runtime Adaptation for Actor Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Survey of Runtime Monitoring Instrumentation Techniques
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Pointing to Private Names
EasyChair Preprints
Code Management Automation for Erlang Remote Actors
Universe Types for Topology and Encapsulation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science