Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.875, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.877, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Zahar Manna, Amir Pnueli: The Temporal Logic of Reactive and Concurrent Systems. Hrsg.: Springer Verlag. 1992, S.179, doi:10.1007/978-1-4612-0931-7.
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.878, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.881–882, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
lamport.azurewebsites.net
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.875, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.877, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.878, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
Leslie Lamport: The Temporal Logic of Actions. In: ACM Transactions on Programming Languages and Systems. Vol. 16, Nr.3, 1994, S.881–882, doi:10.1145/177492.177726 (azurewebsites.net [PDF; 485kB]).
stanford.edu
plato.stanford.edu
Krister Segerberg, John-Jules Meyer, Marcus Kracht, Edward N. Zalta: The Logic of Action. In: The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, 2020, abgerufen am 25. September 2021 (englisch).