Specification with lattice processes