Paulo Torrens

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 4

Top Topics

English Language

Action Theories

Top Venues

Publications

Dominic Orchard, Mihail Munteanu, Paulo Torrens
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. CoRR (2023)
Ariel Agne Da Silveira, Rodrigo Ribeiro, Miguel Alfredo Nunes, Paulo Torrens, Karina Girardi Roggia
A Sound Deep Embedding of Arbitrary Normal Modal Logics in Coq. SBLP (2022)
Leonardo Filipe Rigon, Paulo Torrens, Cristiano D. Vasconcellos
Inferring types and effects via static single assignment. SAC (2020)
Paulo Torrens, Cristiano D. Vasconcellos, Junia Gonçalves
A hybrid intermediate language between SSA and CPS. SBLP (2017)