Please wait ...
Simple search
Advanced search
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:ri:diva-22718
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042283
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
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
Efficient logic variables for distributed computing
Haridi, Seif
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
ORCID iD:
0000-0002-6718-0144
van Roy, Peter
Brand, Per
RISE, Swedish ICT, SICS, Computer Systems Laboratory.
Mehl, Michael
Scheidhauer, Ralf
Smolka, Gert
Show others and affiliations
1999 (English)
In:
ACM Transactions on Programming Languages and Systems, ISSN 0164-0925, E-ISSN 1558-4593, Vol. 21, no 3, p. 569-626
Article in journal (Refereed) Published
Place, publisher, year, edition, pages
1999, 1. Vol. 21, no 3, p. 569-626
National Category
Computer and Information Sciences
Identifiers
URN:
urn:nbn:se:ri:diva-22718
OAI: oai:DiVA.org:ri-22718
DiVA, id:
diva2:1042283
Available from:
2016-10-31
Created:
2016-10-31
Last updated:
2023-06-07
Bibliographically approved
Open Access in DiVA
No full text in DiVA
Authority records
Haridi, Seif
Search in DiVA
By author/editor
Haridi, Seif
By organisation
Computer Systems Laboratory
In the same journal
ACM Transactions on Programming Languages and Systems
On the subject
Computer and Information Sciences
Search outside of DiVA
Google
Google Scholar
urn-nbn
Altmetric score
urn-nbn
Total: 25 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:ri:diva-22718
Direct link
http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042283
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
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.43.0
|
WCAG
DiVA
Logotyp