<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7293</REFNUM><AUTHORS><AUTHOR>Sinnott,R.O.</AUTHOR></AUTHORS><YEAR>1999</YEAR><TITLE>Modelling Dynamic Distributed Systems in LOTOS</TITLE><PLACE_PUBLISHED>Proceedings of Formale Beschreibungstechniken für Verteilte Systeme, FBT99, Münich, German </PLACE_PUBLISHED><PUBLISHER>IFIP</PUBLISHER><LABEL>Sinnott:1999:7293</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>