From higher-order pi-Calculus to pi-Calculus in the presence of static operators

Vivas, José-Luis; Dam, Mads

Enkel sökning

Avancerad sökning

Statistik

Ändra sökning

Permanent länk

https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-22816

Direktlänk

http://ri.diva-portal.org/smash/record.jsf?pid=diva2:1042381

Referera

Referensformat

apa
ieee
modern-language-association-8th-edition
vancouver
Annat format

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk

Fler språk

Utmatningsformat

html
text
asciidoc
rtf

From higher-order pi-Calculus to pi-Calculus in the presence of static operators

Vivas, José-Luis

Dam, Mads

RISE - Research Institutes of Sweden, IKT, SICS.

1998 (Engelska)Ingår i: Proceedings of the CONCUR'98, 8-11 Sep 1998, Nice, France, 1998, 1, s. 215-228Konferensbidrag, Publicerat paper (Refereegranskat)

Ort, förlag, år, upplaga, sidor

1998, 1. s. 215-228

Nationell ämneskategori

Data- och informationsvetenskap

Identifikatorer

URN: urn:nbn:se:ri:diva-22816OAI: oai:DiVA.org:ri-22816DiVA, id: diva2:1042381

Konferens

CONCUR'98, 8-11 Sep 1998, Nice, France

Tillgänglig från: 2016-10-31 Skapad: 2016-10-31 Senast uppdaterad: 2018-01-14Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Av organisationen

SICS

I ämnet