Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types.

Lucia Acciai Michele Boreale

Published in: ICALP (2) (2009)

Keyphrases

desirable properties
algebraic structure
neural network
decision making
formal language
data mining
data structure
expert systems
fuzzy control