Revisiting Concurrent Separation Logic and Operational Semantics

AuthID
 P-00K-CYD
3
Author(s)
Soares, P
·
5
Editor(s)
Daneshtalab,M;Aldinucci,M;Leppänen,V;Lilius,J;Brorsson,M
Document Type
Proceedings Paper
Year published
2015
Published
in 23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015) in PDP
Pages: 484-491 (8)
Conference
23Rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp), Date: MAR 04-06, 2015, Location: Turku, FINLAND, Sponsors: CPS
Indexing
Wos®
Scopus®
Dblp®/en/publications/view/635853
Crossref®
Arxiv®
Google Scholar®
Publication Identifiers
Arxiv: 1712.01631
DBLP: conf/pdp/SoaresRS15
SCOPUS: 2-s2.0-84983123683
Wos: WOS:000380471500073
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service