Semantics and expressiveness of ordered SOS

M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, I. Ulidowski

Research output: Book/ReportReportAcademic

79 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages37
Publication statusPublished - 2007

Publication series

NameComputer science reports
Volume0707
ISSN (Print)0926-4515

Cite this