Onderzoek

Effective models for the structure of ð-calculus processes with replication

Pagina-navigatie:

Wijzig Onderzoekgegevens

Titel	Effective models for the structure of ð-calculus processes with replication
Looptijd	11 / 2001 - 11 / 2005
Status	Afgesloten
Dissertatie	Ja
Onderzoeknummer	OND1237355

Betrokken organisaties

Penvoerder	Leiden Institute of Advanced Computer Science - LIACS (UL)
Financier	Nederlandse Organisatie voor Wetenschappelijk Onderzoek - NWO (NWO)
Financier	Europese Commissie

Promotor	Prof.dr. G. Rozenberg
Promovendus	Dr. T.E. Gelsema

A90000	Zuiver-wetenschappelijk onderzoek
D16300	Theoretische informatica