1997 | ||
---|---|---|
6 | EE | Felipe Bracho, Manfred Droste, Dietrich Kuske: Representation of Computations in Concurrent Automata by Dependence Orders. Theor. Comput. Sci. 174(1-2): 67-96 (1997) |
1995 | ||
5 | Felipe Bracho, Manfred Droste, Dietrich Kuske: Dependence Orders for Computations of Concurrent Automata. STACS 1995: 467-478 | |
1994 | ||
4 | Felipe Bracho, Manfred Droste: Labelled Domains and Automata with Concurrency. Theor. Comput. Sci. 135(2): 289-318 (1994) | |
1993 | ||
3 | Felipe Bracho, Manfred Droste: From Domains to Automata with Concurrency. ICALP 1993: 669-681 | |
1989 | ||
2 | Felipe Bracho: Continously Generated Fixed Points. Theor. Comput. Sci. 68(3): 303-317 (1989) | |
1980 | ||
1 | Felipe Bracho: Continously generated fixed points in Pomega. Fundam. Inform. 3(4): 477-490 (1980) |
1 | Manfred Droste | [3] [4] [5] [6] |
2 | Dietrich Kuske | [5] [6] |