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

Vivas, José-Luis; Dam, Mads

Endre søk

Permanent link

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

Direct link

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

Referera

Referensformat

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

Fler format

Språk

de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet 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 (engelsk)Inngår i: Proceedings of the CONCUR'98, 8-11 Sep 1998, Nice, France, 1998, 1, s. 215-228Konferansepaper, Publicerat paper (Fagfellevurdert)

sted, utgiver, år, opplag, sider

1998, 1. s. 215-228

HSV kategori

Identifikatorer

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

Konferanse

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

Tilgjengelig fra: 2016-10-31 Laget: 2016-10-31 Sist oppdatert: 2018-01-14bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Av organisasjonen

Om emnet

Søk utenfor DiVA

Google Google Scholar

urn-nbn

Totalt: 8 treff

Referera ExporteraLink to record