Abstract
We present probabilistic Ianov's schemes, studying their semantics and proving the equivalences between operational and denotational ones. We also study the equivalence of schemes relative to them; as usual all these equivalence problems are decidable, and we prove it giving the appropriate decision algorithms.
(Extended abstract)
Preview
Unable to display preview. Download preview PDF.
References
J. ENGELFRIET "Simple program schemes and formal languages" LNCS 20 Springer Verlag (1974).
D. FRUTOS ESCRIG "Algunas cuestiones relacionadas con la semántica de construcciones probabilÃsticas" Tesis doctoral Fac.C.Matemáticas U.Complutense Madrid, July 1985.
D. FRUTOS ESCRIG "Some probabilistic powerdomains in SFP" STACS-86 (to appear in LNCS).
D. FRUTOS ESCRIG, K. INDERMARK "Equivalence relations of nondeterministic Ianov's schemes" Schriften zur Informatik und Angewanten Mathematik RWTH Aachen 1986 (to appear).
S. HART, M. SHARIR, A. PNUELI "Termination of probabilistic concurrent programs" ACM TOPLAS 5,3 (1983) 356–380.
Y. IANOV "The logical schemes of algorithms" Problemy Kibernet. 1 (1960) 82–140.
K. INDERMARK "On a class of schematic languages" in Formal languages and Programming (Ed.R.Aguilar) North Holland (1976) 1–13.
A.PAZ "Introduction to probabilistic automata" Academic Press (1971)
G. PLOTKIN "A powerdomain construction" SIAM J.Comput. 5(3) (1976) 452–487.
M.B.SMYTH "Powerdomains" LNCS 45 Springer Verlag (1978) 537–543.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag
About this paper
Cite this paper
Escrig, D.F. (1986). Probabilistic Ianov's schemes. In: Franchi-Zannettacci, P. (eds) CAAP '86. CAAP 1986. Lecture Notes in Computer Science, vol 214. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022665
Download citation
DOI: https://doi.org/10.1007/BFb0022665
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16443-2
Online ISBN: 978-3-540-39783-0
eBook Packages: Springer Book Archive