Login / Signup
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems.
Gul A. Agha
José Meseguer
Koushik Sen
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
specification language
programming language
formal specification
expert systems
software environment
d objects
generative model
description language
search algorithm
probabilistic model
distributed systems
knowledge based systems
building blocks
software architecture