Second Calculus of Binary Relations as a Concurrent Programming Language

摘要

This grant supported Anna Patterson from June 1994 to October 1996, Russ Allberyfrom October 1995 to March 1997, and Larry Yogman from January 1997 to June 1997. Patterson wrote (1) A new semantics for constructible falsity, presented at ASL Summer Meeting 96, appearing in the Bulletin of Symbolic Logic and submitted to JSL; (2) Bisimulation and Propositional Intuitionistic Logic, presented at ESSLLI'96 and in more detail at Concur 1997 in Warsaw; and (3) (with T. Costello) Guilt-Free Exponentials, to be submitted. In addition she wrote the early stages of her thesis. Allbery implemented a much faster version of Vineet Gupta's Chu space calculator. The one difficult operation is tensor product, which is known to be NP-complete and therefore requires good heuristics in order to be useful in practice. The bulk of the effort went into tuning for this operation. Yogman reimplemented the Gupta-Allbery calculator as a Java applet. This allows the user of a Java-enabled web browser, from anywhere in the world, to download and start up the calculator with one click. This version is not as fast as Allbery's and therefore not as useful for testing hypotheses about large Chu spaces. However, as a pedagogical tool for studying Chu spaces it is excellent.