Concurrency Modeling
====================

Papers (Latex source and dvi) on modeling concurrent behavior
written by members of the Boole Group, c/o Prof. Vaughan Pratt,
Computer Science Department, Stanford University. Paper titles as
follows. Get the README (linked to ABSTRACTS) for their abstracts.
gates. tex Gates Accept Concurrent Behavior branch.tex What is
branching time and why use it sebr. tex The Second Calculus of
Binary Relations spectrum. ps The linear time-branching time
spectrum II complete. tex A Complete ax’n for branching bisim.
cong. of fin. state behaviors ql. tex Linear Logic for Generalized
Quantum Mechanics dti. tex The Duality of Time and Information
ldomain. tex Disjunctive Systems and L-Domains monoidal. tex

Address : ftp://boole.stanford.edu
Try also: http://boole.stanford.edu/   (gopher is dead; the host may not be)
Year    : 1994
Source  : The Internet Directory, Eric Braun 1994
          lycos9510
Tags    : The Internet Directory 1994, FTP, Pre-Web 1994

------------------------------------------------------------------
gopher://hp84.com/    |    https://ge97.com/
.