Jinhao Tan

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Dynamic Environments

Formal Specification

Top Venues

Dagstuhl Artifacts Ser.

Publications

Jinhao Tan, Bruno C. d. S. Oliveira
Dependent Merges and First-Class Environments (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Jinhao Tan, Bruno C. d. S. Oliveira
Dependent Merges and First-Class Environments. ECOOP (2023)
Ying Zhao, Jinhao Tan, Guoqiang Li
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. CoRR (2021)