Change search
ReferencesLink to record
Permanent link

Direct link
Dynamic Binding of Names in Calculi for Mobile Processes
KTH, Superseded Departments, Microelectronics and Information Technology, IMIT.
2001 (English)Doctoral thesis, monograph (Other scientific)
Place, publisher, year, edition, pages
Kista: Mikroelektronik och informationsteknik , 2001. , xi, 255 p.
Trita-IT. AVH, 01:02
Keyword [en]
process algebra, mobile processes, distributed systems
URN: urn:nbn:se:kth:diva-3108ISBN: OAI: diva2:8869
Public defence
NR 20140805Available from: 2001-03-15 Created: 2001-03-15Bibliographically approved

Open Access in DiVA

fulltext(1846 kB)629 downloads
File information
File name FULLTEXT01.pdfFile size 1846 kBChecksum MD5
Type fulltextMimetype application/pdf

By organisation
Microelectronics and Information Technology, IMIT

Search outside of DiVA

GoogleGoogle Scholar
Total: 629 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 221 hits
ReferencesLink to record
Permanent link

Direct link