|
Barbara König. Hypergraph construction and its application to the compositional modelling of concurrency. In Proc. of GRATRA 2000: Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, 2000. |
|
|
Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system. In Proc. of ICALP '00, pages 403–414. Springer-Verlag, 2000. LNCS 1853. |
|
|
Barbara König. Hypergraph construction and its application to the compositional modelling of concurrency (extended version). Technical Report TUM-I0003, Technische Universität München, 2000. |
|
|
Barbara König. A graph rewriting semantics for the polyadic pi-calculus. In Proc. of GT-VMT '00 (Workshop on Graph Transformation and Visual Modeling Techniques), pages 451–458. Carleton Scientific, 2000. |
|
|
Barbara König. Analysing input/output-capabilities of mobile processes with a generic type system (extended version). Technical Report TUM-I0009, Technische Universität München, 2000. |
|
|
Barbara König. A general framework for types in graph rewriting. In Proc. of FST TCS 2000, pages 373–384. Springer-Verlag, 2000. LNCS 1974. |
|
|
Barbara König. A general framework for types in graph rewriting. Technical Report TUM-I0014, Technische Universität München, 2000. |
|
