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