Login / Signup
A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice - (Extended Abstract).
Rob J. van Glabbeek
Jan Friso Groote
Erik P. de Vink
Published in:
The Art of Modelling Computational Systems (2019)
Keyphrases
</>
extended abstract
neural network
complete axiomatization
database
bayesian networks
natural language
knowledge representation
development process