Deciding safety properties in infinite-state pi-calculus via behavioural types.

Lucia Acciai Michele Boreale

Published in: Inf. Comput. (2012)

Keyphrases

algebraic structure
artificial intelligence
expert systems
structural properties
database
neural network
information retrieval
social networks
medical images
desirable properties
topological properties