Login / Signup
The Attributed Pi-Calculus with Priorities.
Mathias John
Cédric Lhoussaine
Joachim Niehren
Adelinde M. Uhrmacher
Published in:
Trans. Comp. Sys. Biology (2010)
Keyphrases
</>
computer algebra
high priority
neural network
algebraic structure
pi control
real time
machine learning
decision making
formal language
automated deduction