Tommaso Bolognesi

Learn More
LOTOS is a specification language that has been specifically developed for the formal description of the OSI (Open systems Interconnection) architecture, although it is applicable to distributed, concurrent systems in general. In LOTOS a system is seen as a set of processes which interact and exchange data with each other and with their environment. LOTOS(More)
A deterministic network mobile automaton is proposed for the creation of planar trivalent networks (trinets) based on the application of only two simple rewrite rules. The possible Brownian dynamics of the control point are enumerated and explored. A useful behavioral complexity indicator is introduced, called the revisit indicator, exposing a variety of(More)