Abstract: Relation algebra is used to deal with the semantics of programs, the meaning of a program is given by specifying the input-output function that corresponds to the program. However, these programs are not probabilistic programs, because the relation algebra does not contain specific properties for probabilistic programs. In this paper, we extend usual relation to multi-random relation. Then, we give examples to show that multi-random relation can be used to handle the semantics of probabilistic nondeterministic programs.
Publication Year: 2010
Publication Date: 2010-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot