Skip to content
Snippets Groups Projects
Commit b81a84f5 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update ModelsComputation.md

parent 2e922cc4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
teaching/ModelsComputation.md
+ 1
− 1
View file @ b81a84f5
...@@ -46,7 +46,7 @@ This is an excellent introduction to both the operational and denotational seman ...@@ -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. 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. 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. J.E. Hopcroft, R. Motwani and J.D. Ullman (2001). Introduction to Automata Theory, Languages and Computation, 2nd edition, Addison-Wesley.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment