Title
Instruction sequence notations with probabilistic instructions
Abstract
This paper concerns probabilistic instruction sequences. We use the term probabilistic instruction sequence for an instruction se- quence that contains probabilistic instructions, i.e. instructions that are themselves probabilistic by nature, rather than an instruction sequence of which the instructions are intended to be processed in a probabilistic way. We propose several kinds of probabilistic instructions, provide an informal operational meaning for each of them, and discuss related work. On purpose, we refrain from providing an ad hoc formal meaning for the proposed kinds of instructions.
Year
Venue
Keywords
2009
Clinical Orthopaedics and Related Research
instruction sequence,projectionism.,probabilistic instruction,probabilistic process algebra thesis,probabilistic service,programming language,information operations,process algebra
Field
DocType
Volume
Notation,Instruction sequence,Programming language,Computer science,Theoretical computer science,Probabilistic logic
Journal
abs/0906.3
Citations 
PageRank 
References 
4
0.50
57
Authors
2
Name
Order
Citations
PageRank
Jan A. Bergstra11946240.42
Cornelis A. Middelburg248749.21