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-267935
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
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
Modal Logics for Nominal Transition Systems
Parrow, Joachim
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
Borgström, Johannes
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
ORCID iD:
0000-0001-5990-5742
Eriksson, Lars-Henrik
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
Gutkovas, Ramunas
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
Weber, Tjark
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science.
(Mobility)
Show others and affiliations
2015 (English)
In:
26th International Conference on Concurrency Theory: CONCUR 2015, Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015, p. 198-211
Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Dagstuhl, Germany: Leibniz-Zentrum für Informatik , 2015. p. 198-211
Series
Leibniz International Proceedings in Informatics (LIPIcs), ISSN 1868-8969 ; 42
National Category
Computer Sciences
Identifiers
URN:
urn:nbn:se:uu:diva-267935
DOI:
10.4230/LIPIcs.CONCUR.2015.198
ISBN:
978-3-939897-91-0 (print)
OAI: oai:DiVA.org:uu-267935
DiVA, id:
diva2:882224
Conference
CONCUR 2015, September 1–4, Madrid, Spain
Projects
UPMARC
Funder
Swedish Research Council, 2014-5478
Swedish Foundation for Strategic Research
Available from:
2015-12-14
Created:
2015-11-30
Last updated:
2018-01-19
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Other links
Publisher's full text
Authority records
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
Search in DiVA
By author/editor
Parrow, Joachim
Borgström, Johannes
Eriksson, Lars-Henrik
Gutkovas, Ramunas
Weber, Tjark
By organisation
Computing Science
On the subject
Computer Sciences
Search outside of DiVA
Google
Google Scholar
doi
isbn
urn-nbn
Altmetric score
doi
isbn
urn-nbn
Total: 509 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-267935
Direct link
http://uu.diva-portal.org/smash/record.jsf?pid=diva2:882224
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.47.0
|
WCAG
|
Uppsala University Library
|
Ask the Library
|
Log in to DiVA
|
Search and link in DiVA
DiVA
Logotyp