HAL
A complete modal proof system for HAL: the Herbrand agent language
Keywords for this software
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
Sorted by year (- Habbas, Zineb: A complete modal proof system for HAL: the Herbrand agent language (1993)
- Belmesk, M.; Habbas, Z.: A process calculus with shared variables (1992)