Revision as of 10:55, 2 March 2020 edit Wfokkink (talk \| contribs) 15 edits →References ← Previous edit		Revision as of 10:55, 2 March 2020 edit undo Wfokkink (talk \| contribs) 15 edits →References Next edit →
Line 143: <cite id=plotkin04> [[Gordon Plotkin\|Gordon D. Plotkin.]] The Origins of Structural Operational Semantics. J. Log. Algebr. Program. 60-61:3-15, 2004. ([http://homepages.inf.ed.ac.uk/gdp/publications/Origins_SOS.pdf preprint]). </cite> <cite id=scott70> [[Dana Scott\|Dana S. Scott.]] Outline of a Mathematical Theory of Computation, Programming Research Group, Technical Monograph PRG–2, Oxford University, 1970.</cite> <cite id=algol68> [[Adriaan van Wijngaarden]] et al. [[ALGOL 68\|Revised Report on the Algorithmic Language ALGOL 68. IFIP., 1968.]] ([http://vestein.arb-phys.uni-dortmund.de/~wb/RR/rr.pdf]{{dead link\|date=March 2018 \|bot=InternetArchiveBot \|fix-attempted=yes }})</cite> <cite id=hennessybook>[[Matthew Hennessy]]. Semantics of Programming Languages. Wiley, 1990. [https://www.cs.tcd.ie/matthew.hennessy/splexternal2015/resources/sembookWiley.pdf available online].</cite> *<cite id=pahandbook>[[Luca Aceto]], [[Wan Fokkink]], [[Chris_Verhoef\|Chris Verhoef]]. Structural Operational Semantics. Handbook of Process Algebra, Elsevier, 2000.</cite>

Operational semantics: Difference between revisions