Logo: to the web site of Uppsala University
uu.se
Publications from Uppsala University
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-112759
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:287816
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Formalising the π-calculus using nominal logic
Bengtson, Jesper
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
Parrow, Joachim
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-36
Article 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-112759
DOI:
10.2168/LMCS-5(2:16)2009
ISI:
000268642300016
OAI: oai:DiVA.org:uu-112759
DiVA, id:
diva2:287816
Available from:
2010-01-21
Created:
2010-01-19
Last updated:
2018-01-12
Bibliographically approved
Open Access in DiVA
fulltext
(390 kB)
771 downloads
File information
File name
FULLTEXT01.pdf
File size
390 kB
Checksum
SHA-512
73bd328520fd1fac20d45c04399a27e52e4dd353c794f13e9bc7f16b07968aa2b94d195930296d8f574ee7d130f165278fc16a604b41f2b4ecd8884154d19bb4
Type
fulltext
Mimetype
application/pdf
Other links
Publisher's full text
Authority records
Bengtson, Jesper
Parrow, Joachim
Search in DiVA
By author/editor
Bengtson, Jesper
Parrow, Joachim
By organisation
Computing Science
In the same journal
Logical Methods in Computer Science
On the subject
Computer Sciences
Search outside of DiVA
Google
Google 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
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-112759
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:287816
Cite
Citation style
apa
ieee
modern-language-association
vancouver
Other 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
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.41.0
|
WCAG
|
Uppsala University Library
|
Ask the Library
|
Log in to DiVA
|
Search and link in DiVA
DiVA
Logotyp