A complete modal proof system for HAL: the Herbrand agent language

DOI10.1016/0304-3975(93)90342-QzbMath0783.68079MaRDI QIDQ1311969

Zineb Habbas

Publication date: 19 January 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

process algebraformal specification and verification of concurrent programsHerbrand agent languagemodal proof system

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

HAL

Cites Work

• Modal logics for communicating systems
• Algèbre de processus et synchronisation
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Calculi for synchrony and asynchrony
• A calculus of communicating systems
• A structural approach to operational semantics
• Algebraic laws for nondeterminism and concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item