Structured operational semantics of chi

V. Bos, J.J.T. Kleijn

Research output: Book/ReportReportAcademic

44 Downloads (Pure)
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages27
Publication statusPublished - 1999

Publication series

NameComputing science reports
Volume9901
ISSN (Print)0926-4515

Cite this