A Look Around the Corner: The Pi-Calculus.

Frank Puhlmann Mathias Weske

Published in: Trans. Petri Nets Other Model. Concurr. (2009)

Keyphrases

corner points
automated deduction
computer algebra
decision making
real time
information retrieval
genetic algorithm
image sequences
formal language
proof procedure
automated theorem proving