Modelling Dynamic Distributed Systems in LOTOS

Richard O. Sinnott. Modelling Dynamic Distributed Systems in LOTOS. In Katharina Spies, Bernhard Schätz, editors, Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. pages 203-212, Herbert Utz Verlag, 1999.

Authors

Richard O. Sinnott

This author has not been identified. Look up 'Richard O. Sinnott' in Google