Login / Signup
An Algebraic Framework for Defining Behaviours of Concurrent Systems. Part 1: The Constructive Presentation.
Józef Winkowski
Published in:
Fundam. Informaticae (2009)
Keyphrases
</>
concurrent systems
theoretical framework
lightweight
artificial intelligence
main contribution
model checking
bayesian networks
probabilistic model