Thesis studies FORUM as specification language FORUM is a higher order logic based on the logical connectives of Linear Logic Initial example demonstrates that FORUM is well suited to specify concurrent computations by specifying the higher order calculus
Bookmark to:
