Login / Signup
Declarative event based models of concurrency and refinement in psi-calculi.
Håkon Normann
Christian Johansen
Thomas T. Hildebrandt
Published in:
J. Log. Algebraic Methods Program. (2016)
Keyphrases
</>
information retrieval
real time
genetic algorithm
knowledge representation
model selection
parameter estimation
domain independent
statistical models
computational models
classification models
event driven
accurate models