HAL swMATH ID: 4603 Software Authors: Habbas, Zineb Description: A complete modal proof system for HAL: the Herbrand agent language Homepage: http://www.it.uu.se/profundis/Year2/Deliv2/A.1.2.8.pdf Keywords: formal specification and verification of concurrent programs; Herbrand agent language; process algebra; modal proof system Related Software: Cited in: 2 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A complete modal proof system for HAL: the Herbrand agent language. Zbl 0783.68079Habbas, Zineb 1993 Cited by 2 Authors 2 Habbas, Zineb 1 Belmesk, M. Cited in 2 Serials 1 Theoretical Computer Science 1 Computers and Artificial Intelligence Cited in 1 Field 2 Computer science (68-XX) Citations by Year