Boudol, G. Une semantique pour les arbres non déterministes. (French) Zbl 0485.68020 Trees in algebra and programming, CAAP’81, Proc. 6th Colloq., Genoa/Italy 1981, Lect. Notes Comput. Sci. 112, 147-161 (1981). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 5 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 05C05 Trees 06B23 Complete lattices, completions Keywords:nondeterminism; algebraic semantics; symbolic interpretation; tree; two- way branching Citations:Zbl 0459.00022 PDFBibTeX XML