Login / Signup
Efficient analysis of belief properties in process algebra.
Zahra Moezkarimi
Fatemeh Ghassemi
Published in:
J. Log. Algebraic Methods Program. (2024)
Keyphrases
</>
artificial intelligence
asynchronous circuits
concurrent systems