Author:
Olderog E. -R.,Hoare C. A. R.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference52 articles.
1. Apt, K.R., Francez, N., de Roever, W.P.: A proof system for communicating sequential processes. ACM TOPLAS 2, 359–385 (1980)
2. Apt, K.R.: Formal justification of a proof system for communicating sequential processes. J. Assoc. Comput. Mach. 30, 197–216 (1983)
3. de Bakker, J.W.: Mathematical theory of program correctness. London: Prentice Hall 1980
4. de Bakker, J.W., Bergstra, J.A., Klop, J.W., Meyer, J.-J.C.: Linear time and branching time semantics for recursion with merge. TCS 34, 134–156 (1984)
5. de Bakker, J.W., Meyer, J.-J.C., Olderog, E.-R.: Infinite streams and finite observations in the semantics of uniform concurrency. In: Proc. 12th Coll. Automata, Languages and Programming. (W. Brauer ed.). Lect. Notes Comput. Sci. 194, 149–157 (1985)
Cited by
192 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Just Testing;Lecture Notes in Computer Science;2023
2. Nondeterminism and Guarded Commands;Edsger Wybe Dijkstra;2022-07-12
3. Reactive bisimulation semantics for a process algebra with timeouts;Acta Informatica;2022-04-08
4. From enhanced coinduction towards enhanced induction;Proceedings of the ACM on Programming Languages;2022-01-12
5. List of Tony Hoare’s Publications;Theories of Programming;2021-10-02