zbMath0969.68098MaRDI QIDQ4945216
Peter D. Mosses
Publication date: 7 October 2001
zbMATH Keywords
operational semantics
Mathematics Subject Classification ID
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
Related Items