Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. K.R. Apt, G.D. Plotkin: A Cook's Tour of Contable Noundeterminism. Submitted for publication
2. F.L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung. Berlin-Heidelberg-New York: Springer 1981, to appear
3. M. Broy: Transformational Semantics for Concurrent Programs. IPL 11:2, October 1980, 87–91
4. M. Broy, R. Gnatz, M. Wirsing: Semantics of Nondeterministic and Noncontinuous Constructs. In: F.L. Bauer, M. Broy (eds.): Program Construction, Marktoberdorf 78. LNCS 69
5. M. Broy, M. Wirsing: Programming Languages as Abstract Data Types. In: M. Dauchet (ed.): Lille Colloque 80
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献