Revision as of 10:49, 2 March 2020 edit Wfokkink (talk \| contribs) 15 edits m →References ← Previous edit		Revision as of 10:52, 2 March 2020 edit undo Wfokkink (talk \| contribs) 15 edits →References 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]], [[https://en.wikipedia.org/wiki/Chris_Verhoef\|Chris ~~verhoef~~Verhoef]]. Structural Operational Semantics. In Handbook of Process Algebra. Elsevier, 2000.</cite> ==External links==

Operational semantics: Difference between revisions