Bibliography | Schied, Georg; Barthelmann, Klaus: Linear Types for Higher Order Processes with First Class Directed Channels. In: Proceedings: Workshop on Graph Rewriting and Computation (SEGRAGRA'95), Electronic Notes in Theoretical Computer Science, Vol. 2. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology. Electronic Notes in Theoretical Computer Science, english. Elsevier Science Publishers, September 1995. Article in Proceedings (Conference Paper).
|