Klaus Barthelmann (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Georg Schied, Klaus Barthelmann: Linear types for higher order processes with first class directed channels. Electr. Notes Theor. Comput. Sci. 2: (1995)

2 Klaus Barthelmann, Georg Schied: Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 71-85

Selection of 2 from 8 records - Klaus Barthelmann has 2 coauthors

4		Georg Schied, Klaus Barthelmann: Linear types for higher order processes with first class directed channels. Electr. Notes Theor. Comput. Sci. 2: (1995)
2		Klaus Barthelmann, Georg Schied: Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 71-85