Login / Signup
Proving Correctness of Parallel Implementations of Transition System Specifications.
Frank S. de Boer
Einar Broch Johnsen
Violet Ka I Pun
Silvia Lizeth Tapia Tarifa
Published in:
CoRR (2023)
Keyphrases
</>
parallel implementations
parallel algorithm
parallel implementation
parallel programming
formal specification
high level
general purpose
real time
real world
data management