Revision as of 10:55, 2 March 2020 edit Wfokkink (talk \| contribs) 15 edits →References ← Previous edit		Revision as of 12:31, 2 March 2020 edit undo Wfokkink (talk \| contribs) 15 edits mNo edit summary Next edit →
Line 145: <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> ==External links==

Operational semantics: Difference between revisions