A probabilistic analysis of loop programs

DOI10.1016/0096-0551(89)90019-2zbMath0677.68010OpenAlexW1970225816MaRDI QIDQ3833599

E. J. Farkas, Manfred E. Szabo

Publication date: 1989

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(89)90019-2

zbMATH Keywords

computational complexityprobabilistic analysisstochastic networksloop programsMason's ruletopological equation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

A faithful embedding of parallel computations in star-finite models

This page was built for publication: A probabilistic analysis of loop programs