Publisher
Springer International Publishing
Reference22 articles.
1. Cantin, J. F., Lipasti, M. H., & Smith, J. E. (2005). The complexity of verifying memory coherence and consistency. IEEE Transactions on Parallel and Distributed Systems, 16(7), 651–663.
2. Courtois, J., Heymans, F., & Parnas, D. L. (1971). Concurrent control with “Readers” and “Writers”. Communication of the ACM, 14(10), 667–668.
3. Czaja, L. (1968). Organization of segment exchange in ALGOL for ZAM 21 ALFA and ZAM 41 ALFA computers. Algorytmy, 5(9), 77–84.
4. Czaja, L. (1980). Deadlock and fairness in parallel schemas: A set-theoretic characterization and decision problems. Information Processing Letters, 10(4–5), 234–239.
5. Czaja, L. (2002). Elementary Cause-Effect Structures. Wydawnictwa Uniwersytetu Warszawskiego (Warsaw University Publisher).