Bibliograph. Daten | 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. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik. Electronic Notes in Theoretical Computer Science, englisch. Elsevier Science Publishers, September 1995. Artikel in Tagungsband (Konferenz-Beitrag).
|