Publicações

Revisiting Concurrent Separation Logic and Operational Semantics

AuthID
P-00K-CYD

Author(s)

Soares, P

Ravara, A

de Sousa, SM

Editor(es)

Daneshtalab,M;Aldinucci,M;Leppänen,V;Lilius,J;Brorsson,M

Tipo de Documento

Proceedings Paper

Year published

2015

Publicado

in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015) in PDP

Páginas: 484-491 (8)

Conference

23Rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp), Date: MAR 04-06, 2015, Location: Turku, FINLAND, Patrocinadores: CPS

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/635853

Crossref^®

Arxiv^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/pdp.2015.85

Arxiv: 1712.01631

DBLP: conf/pdp/SoaresRS15

SCOPUS: 2-s2.0-84983123683

Wos: WOS:000380471500073

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Revisiting Concurrent Separation Logic and Operational Semantics

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Revisiting Concurrent Separation Logic and Operational Semantics

Links Úteis

Ajuda