Joseph W. N. Paulus

11 papers B 4C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2024 B conf
Typed Non-determinism in Concurrent Calculi: The Eager Way.
MFPS
Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph W. N. Paulus, Jorge A. Pérez
2023 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
Log. Methods Comput. Sci.
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2023 C conf
Termination in Concurrency, Revisited.
PPDP
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 J jnl
Termination in Concurrency, Revisited.
CoRR
Joseph W. N. Paulus, Jorge A. Pérez, Daniele Nantes-Sobrinho
2023 B conf
Typed Non-determinism in Functional and Concurrent Calculi.
APLAS
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2022 J jnl
Functions as Processes: The Case of Collapsing Non-determinism.
CoRR
Bas van den Heuvel, Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 B conf
A Deep Quantitative Type System.
CSL
Giulio Guerrieri, Willem B. Heijltjes, Joseph W. N. Paulus
2021 J jnl
Non-Deterministic Functions as Non-Deterministic Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 B conf
Non-Deterministic Functions as Non-Deterministic Processes.
FSCD
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 J jnl
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes (Extended Version).
CoRR
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez
2021 — conf
Types and Terms Translated: Unrestricted Resources in Encoding Functions as Processes.
TYPES
Joseph W. N. Paulus, Daniele Nantes-Sobrinho, Jorge A. Pérez