Specification Structures and Propositions-as-Types for Concurrency.

Samson Abramsky Simon J. Gay Rajagopal Nagarajan

Published in: Banff Higher Order Workshop (1995)

Keyphrases

multiscale
data sets
data mining
decision trees
high level
database systems
video sequences
multi agent systems
expert systems
specification language
object oriented languages