Nominal SOS

M.R. Mousavi, M.A. Reniers, M.J. Gabbay

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)
Publication statusPublished - 2006
Event18th Nordic Workshop on Programming Theory (NWPT'06), October 18-20, 2006, Reykjavik, Iceland - Reykjavik, Iceland
Duration: 18 Oct 200620 Oct 2006

Workshop

Workshop18th Nordic Workshop on Programming Theory (NWPT'06), October 18-20, 2006, Reykjavik, Iceland
Abbreviated titleNWPT'06
CountryIceland
CityReykjavik
Period18/10/0620/10/06

Cite this

Mousavi, M. R., Reniers, M. A., & Gabbay, M. J. (2006). Nominal SOS. In Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)