Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Krzysztof R. Apt, Nissim Francez, Willem P. DeRoever: A Proof System for Communicating Sequential Processes ACM Transactions on Programming Languages and Systems, Vol. 2, No. 3, July 1980, 359–385
2. Maurice J. Bach: The Design of the UNIX Operating System Prentice Hall, 1986
3. Manfred Bretz: Ausnahmebehandlung in ADA Informationstechnik it, 29. Jahrgang, Heft 2, 1987, 89–96
4. Narain Gehani: Ada: Concurrent Programming Prentice-Hall, Englewood Cliffs, New Jersey, 1984
5. C. A. R. Hoare: An Axiomatic Basis for Computer Programming CACM, Vol. 12, No. 10, October 1969, 576–583