Colin Stirling (stirling-c)

Contributi a Philosophie.ch

Bibliography

Bradfield, Julian and Stirling, Colin. 1992. “Local Model Checking for Infinite State Spaces.” Theoretical Computer Science 96: 157–174.
Bradfield, Julian and Stirling, Colin. n.d. “Modal Logic for Processes.” Unpublished manuscript.
Butterfield, Jeremy and Stirling, Colin. 1987. “Predicate Modifiers in Tense Logic.” Logique et Analyse 30(117–118): 31–50.
Goodrich, Michael A., Stirling, Colin and Boer, R. R. de. 2000. “Satisficing Revisited.” Minds and Machines 10(1): 79–110.
Stirling, Colin. 1989. “Temporal Logics for CCS.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 660–672. Lecture Notes in Computer Science n. 354. Berlin: Springer.
Stirling, Colin. 1992. “Modal and Temporal Logics.” in Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 477–561. Oxford: Oxford University Press.
Stirling, Colin. 1999. “Bisimulation, Modal Logic and Model Checking Games.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 7: 103–124.
Stirling, Colin and Walker, David. 1991. “Local Model Checking in the Modal Mu-Calculus.” Theoretical Computer Science 89: 161–177.