"A complete calculus for the multialgebraic and functional semantics of non¬determinism" by Sigurd Meldal

Selected Works of Sigurd Meldal

Follow Contact

Article

A complete calculus for the multialgebraic and functional semantics of non¬determinism

ACM TOPLAS (1995)

Sigurd Meldal, San Jose State University
M. A. Walicki

Link

Disciplines

Computer Engineering

Publication Date

March, 1995

Publisher Statement

SJSU users: use the following link to login and access the article via SJSU databases

Citation Information

Sigurd Meldal and M. A. Walicki. "A complete calculus for the multialgebraic and functional semantics of non¬determinism" ACM TOPLAS Vol. 17 Iss. 2 (1995)
Available at: http://works.bepress.com/sigurd_meldal/9/