Logo: to the web site of Uppsala University

uu.sePublications from Uppsala University
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formalising the π-calculus using nominal logic
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)
2009 (English)In: Logical Methods in Computer Science, ISSN 1860-5974, E-ISSN 1860-5974, Vol. 5, no 2, p. 16:1-36Article in journal (Refereed) Published
Place, publisher, year, edition, pages
2009. Vol. 5, no 2, p. 16:1-36
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:uu:diva-112759DOI: 10.2168/LMCS-5(2:16)2009ISI: 000268642300016OAI: oai:DiVA.org:uu-112759DiVA, id: diva2:287816
Available from: 2010-01-21 Created: 2010-01-19 Last updated: 2018-01-12Bibliographically approved

Open Access in DiVA

fulltext(390 kB)771 downloads
File information
File name FULLTEXT01.pdfFile size 390 kBChecksum SHA-512
73bd328520fd1fac20d45c04399a27e52e4dd353c794f13e9bc7f16b07968aa2b94d195930296d8f574ee7d130f165278fc16a604b41f2b4ecd8884154d19bb4
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records

Bengtson, JesperParrow, Joachim

Search in DiVA

By author/editor
Bengtson, JesperParrow, Joachim
By organisation
Computing Science
In the same journal
Logical Methods in Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 771 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

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 892 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf