From b81a84f54b547e8bfa82d1701bc2133f20564c3c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Mon, 21 Nov 2016 15:44:22 +0000 Subject: [PATCH] Update ModelsComputation.md --- teaching/ModelsComputation.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/teaching/ModelsComputation.md b/teaching/ModelsComputation.md index a87bb2d..a4b4f9c 100644 --- a/teaching/ModelsComputation.md +++ b/teaching/ModelsComputation.md @@ -46,7 +46,7 @@ This is an excellent introduction to both the operational and denotational seman M. Hennessy (1990). The Semantics of Programming Languages, Wiley. The book is subtitled 'An Elementary Introduction using Structural Operational Semantics', and provides a leisurely introduction to some of the topics in this course. -[Revised edition](https://www.scss.tcd.ie/Matthew.Hennessy/slexternal/resources/sembookWiley.pdf) +[Revised edition](https://www.cs.tcd.ie/matthew.hennessy/splexternal2015/resources/sembookWiley.pdf) J.E. Hopcroft, R. Motwani and J.D. Ullman (2001). Introduction to Automata Theory, Languages and Computation, 2nd edition, Addison-Wesley. -- GitLab