Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. A. Bode, W. Händler: Rechnerarchitektur II. Berlin-Heidelberg-New York-Tokyo, Springer, 1983
2. J.D. Brock, W.B. Ackerman: Scenarios: A Model of Non-deterministic Computation. In: J. Diay, I. Ramos (Eds.): Foundations of Programming Concepts, Intern. Coll. Peniscola, Spain, 1981, Springer Lecture Notes in Computer Science 107, pp. 252–259
3. M. Broy, T. Streicher: Specification and Design of Shared Resource Arbitration. MIP-8721, Universität Passau, 1987
4. M. Broy: An Example for the Design of Distributed Systems in a Formal Setting: The Lift Problem, MIP-8802, Universität Passau, 1988
5. M. Broy: Towards a Design Methodology for Distributed Systems. In: M. Broy (Ed.): Constructive Methods in Computing Science. Berlin-Heidelberg-New York-Tokyo, Springer, 1989, pp. 331–364
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献