Definimos un cálculo de procesos para describir sistemas multiagente con tiempos de espera para comunicación y movilidad capaces de manejar conocimiento. El conocimiento de un agente se representa como conjuntos de árboles cuyos nodos llevan información; se utiliza para decidir las interacciones con otros agentes. La evolución del sistema con intercambios de conocimiento entre agentes se presenta mediante la semántica operativa, capturando las ejecuciones concurrentes mediante un multiconjunto de acciones en un sistema de transición etiquetado. Se presentan varios resultados sobre la relación entre los agentes y su conocimiento. Introducimos y estudiamos algunas equivalencias de comportamiento específicas en sistemas multiagente, incluida una equivalencia de conocimiento capaz de distinguir dos sistemas basados en la interacción de los agentes con su conocimiento local.