Nominal SOS

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)
Publication status	Published - 2006
Event	18th Nordic Workshop on Programming Theory, NWPT'06 - Reykjavik, Iceland Duration: 18 Oct 2006 → 20 Oct 2006 Conference number: 18

Workshop	18th Nordic Workshop on Programming Theory, NWPT'06
Abbreviated title	NWPT'06
Country/Territory	Iceland
City	Reykjavik
Period	18/10/06 → 20/10/06

Cite this

@inproceedings{aa359597c6404a2bbb3a60a472ebfd42,

title = "Nominal SOS",

author = "M.R. Mousavi and M.A. Reniers and M.J. Gabbay",

year = "2006",

language = "English",

booktitle = "Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)",

note = "18th Nordic Workshop on Programming Theory, NWPT'06, NWPT'06 ; Conference date: 18-10-2006 Through 20-10-2006",

}

TY - GEN

T1 - Nominal SOS

AU - Mousavi, M.R.

AU - Reniers, M.A.

AU - Gabbay, M.J.

N1 - Conference code: 18

PY - 2006

Y1 - 2006

M3 - Conference contribution

BT - Proceedings 18th Nordic Workshop on Programming Theory (NWPT'06, Reykjavik, Iceland, October 18-20, 2006)

T2 - 18th Nordic Workshop on Programming Theory, NWPT'06

Y2 - 18 October 2006 through 20 October 2006

ER -