Login / Signup
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.
Paul Caspi
Nicolas Halbwachs
Published in:
Acta Informatica (1986)
Keyphrases
</>
computing systems
high level
database
probabilistic model
open source
parallel computing