Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lorenzo Bettini
A Calculus for Boxes and Traits in a Java-Like Setting
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Implementing the Π-Calculus in Java.
Journal of Object Technology
Software
A Machine-Checked Model for a Java-Like Language, Virtual Machine, and Compiler
ACM Transactions on Programming Languages and Systems
Software
Dag-Calculus: A Calculus for Parallel Computation
Pseudo-Differential Calculus in Anisotropic Gelfand–Shilov Setting
Integral Equations and Operator Theory
Number Theory
Analysis
Algebra
Formal Techniques for Java-Like Programs
Java Security Extensions for a Java Server in a Hostile Environment
Pi+-Calculus: A Calculus for Concurrent Processes With Constraints
CLEI Electronic Journal
A Calculus for Local Reversibility
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Is GETUP Helpful and Relevant in a Resource Poor Setting Like Nepal?
Journal of Medical Toxicology
Mutagenesis
Toxicology
Health
