Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Roncken, M., Gerth, R., de Roever, W.P.: A proof system for Brinch Hansen’s distributed processes. In: Proceedings of the GI Jahrestagung, pp. 88–95 (1981)
2. Gerth, R.: Transition logic: How to reason about temporal properties in a compositional way. In: 16th ACM Symp. on Theory of Computing, pp. 39–50. ACM Press, New York (1984)
3. Lecture Notes in Computer Science;R. Koymans,1985
4. Huizing, C., Gerth, R., deRoever, W.P.: Full abstraction of a real-time denotational semantics for an OCCAM-like language. In: 14th ACM Symp. on Principles of Programming Languages, pp. 223–236. ACM Press, New York (1987)
5. Gerth, R., de Roever, W.P.: A proof system for concurrent Ada programs. Science of Computer Programming 4(2), 159–204 (1984)