Collaborated with:
R.Brück B.Kleinjohann F.J.Rammig
Talks about:
algorithm (1) synthesi (1) descript (1) modular (1) control (1) concurr (1)
Person: Thomas Kathöfer
DBLP: Kath=ouml=fer:Thomas
Contributed to:
Wrote 1 papers:
- DAC-1986-BruckKKR #algorithm #composition #concurrent #synthesis
- Synthesis of concurrent modular controllers from algorithmic descriptions (RB, BK, TK, FJR), pp. 285–292.