@phdthesis{Srinivasa2007, author = {Srinath Srinivasa}, title = {An algebra of fixpoints for characterizing interactive behavior of information systems}, type = {doctoralthesis}, school = {BTU Cottbus - Senftenberg}, year = {2007}, }