Login / Signup
João Carlos Pereira
ORCID
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Distributed Database Systems
Message Passing
Fault Tolerance
Loosely Coupled
Top Venues
TAP@STAF
</>
Publications
</>
João Carlos Pereira
,
Nuno Machado
,
Jorge Sousa Pinto
Testing for Race Conditions in Distributed Systems via SMT Solving.
TAP@STAF
(2020)