Ordered SOS Process Languages for Branching and Eager Bisimulations.

Irek Ulidowski Iain C. C. Phillips

Published in: Inf. Comput. (2002)

Keyphrases

real world
case study
neural network
optimal solution
upper bound
software engineering