@Article{Bauer20113101,
   status = {public},
   number = {28},
   task = {T5.1},
   doi = {10.1016/j.tcs.2011.04.007},
   joint-pub = {false},
   reported = {year1},
   year = {2011},
   invited = {yes},
   timestamp = {2012.10.31},
   volume = {412},
   main = {no},
   note = {Festschrift in Honour of Jan Bergstra},
   issn = {0304-3975},
   title = {{Interface theories for concurrency and data}},
   author = {Sebastian S. Bauer and Rolf Hennicker and Martin Wirsing},
   period = {year1},
   journal = {Theoretical Computer Science},
   owner = {kroiss},
   accessible = {true},
   partner = {LMU},
   ascens_ref = {true},
   wp = {WP5},
   pages = {3101--3121}
}