Steffen Becker
and Carlos Canal
and Nikolay Diakov
and Juan Manuel Murillo
and Pascal Poizat
and Massimo TivoliElectr. Notes Theor. Comput. Sci.189
1-3
(2007)
Steffen Becker
and Antonio Brogi
and Ian Gorton
and Sven Overhage
and Alexander Romanovsky
and Massimo TivoliArchitecting Systems with Trustworthy Components
193-215
(2004)