Toward a Modal Theory of Types for the pi-Calculus.

Roberto M. Amadio Mads Dam

Published in: FTRTFT (1996)

Keyphrases

computer algebra
theoretical framework
theoretical basis
genetic algorithm
decision making
relational databases
control system
computational model
modal logic
information theory