Dado que su sistema está hecho de componentes que interactúan de formas específicas, el posible comportamiento del conjunto en cualquier entorno está determinado por los posibles comportamientos de ca...Dado que su sistema está hecho de componentes que interactúan de formas específicas, el posible comportamiento del conjunto en cualquier entorno está determinado por los posibles comportamientos de cada uno de sus componentes en sus entornos locales, junto con la forma precisa en que interactúan.1 En este capítulo, discutiremos un lógica en la que se pueden describir los tipos generales de comportamiento que ocurren a lo largo del tiempo, y probar las propiedades de un sistema a mayor escala a …