The meaning of negative premises in transition system specifications

1996

Journal of the ACM , Volume 43 - Issue 5 p. 863- 914

Additional Metadata
MSC	Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (msc 68Q10), Semantics (msc 68Q55)
Journal	Journal of the ACM
Citation APA APA Style APA-ALL Style AAA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bol, R. N.& Groote, J. F. (1996). The meaning of negative premises in transition system specifications. Journal of the ACM, 43(5), 863–914.

Publication