Login / Signup
A Precise Characterisation of Step Traces and Their Concurrent Histories.
Ryszard Janicki
Jetty Kleijn
Lukasz Mikulski
Published in:
Sci. Ann. Comput. Sci. (2018)
Keyphrases
</>
post processing
mutual exclusion
database
search algorithm
real time
three dimensional
multiscale
special case