Login / Signup

Efficient analysis of belief properties in process algebra.

Zahra MoezkarimiFatemeh Ghassemi
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • artificial intelligence
  • asynchronous circuits
  • concurrent systems