- 1 BOCHMANN, G., AND SUNSHINE, C. Formal methods in comnmnication protocol design. IEEE Trans. Commun. Com-28, 4 (Apr. 1980), 624-631.Google Scholar
- 2 HAILPERN, B.T., AND OWICKI, S.S. Verifying network protocols using temporal logic. In Proceedings Trends and Applications 1980: Computer Network Protocols. IEEE Computer Society, 1980, pp. 18-28.Google Scholar
- 3 HEr, Zoo, O. Static analysis of concurrent processes for dynamic properties using Petri nets. In Lecture Notes in Computer Science, vol. 70: Semantics of Concurrent Computation, G. Kahn (Ed.). Springer-Verlag, Berlin, 1979, pp. 66-90. Google Scholar
- 4 INTERNATIONAL ORGANIZATION FOR STANDARDIZATION TC97/SC16/WG1 SUBGROUP B ON STATE MACHINES. A FDT based on an extended state transition model. Working draft of tech. rep., Dec. 1981.Google Scholar
- 5 LAMPORT, L. The "Hoare logic" of concurrent programs. Acta inf. 14, i (June 1980), 21-37.Google Scholar
- 6 LAMPORT, L. "Sometime" is sometimes "not never": On the temporal logic of programs. In Conference Record of the 7th Annual ACM Symposium on Principles of Programming Languages, LaB Vegas, Nev., Jan. 28-30, 1980, pp. 174-185. Google Scholar
- 7 LAMPORT, L. Concurrent reading and writing. Commun. ACM 20, 11 (Nov. 1977), 806-811. Google Scholar
- 8 OWICKI, S., ANO LAMPORT, L. Proving liveness properties of concurrent programs. ACM Trans. Program. Lang. Syst. 4, 3 (July 1982), 455-495. Google Scholar
- 9 PNUELI, A. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science, Providence, R.I., Oct. 31-Nov. 2, 1977, pp. 46-57.Google Scholar
- 10 SCHWARTZ, R., AND MELLIAR-SMITH, P.M. From state machines to temporal logic: Specification methods for protocol standards. IEEE Trans. Commun. Corn-30, 11 (Nov. 1982).Google Scholar
- 11 SCHWARTZ, R.L., AND MELLIAR-SMITH, P.M. Temporal logic specification of distributed systems. In Proceedings of the 2nd International Conference on Distributed Computing Systems. IEEE Computer Society Press, 1981, pp. 446-454.Google Scholar
Index Terms
- Specifying Concurrent Program Modules
Recommendations
Granularity of modules in object-based concurrent systems
OOPSLA/ECOOP '88: Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programmingWe examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes ...
Granularity of modules in object-based concurrent systems
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent ProgrammingWe examine the interaction of abstraction, distribution, and synchronization in determining the granularity of modules in object-based concurrent systems. The relation between linearizability and serializability as correctness criteria for processes ...
Comments