Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Marco Bernardo, Einar Broch Johnsen
Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming
SFM, 2015.

FM
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{SFM-2015,
	address       = "Bertinoro, Italy",
	doi           = "10.1007/978-3-319-18941-3",
	editor        = "Marco Bernardo and Einar Broch Johnsen",
	isbn          = "978-3-319-18940-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Advanced Lectures of the 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Formal Methods for Multicore Programming}",
	volume        = 9104,
	year          = 2015,
}

Event page: http://www.sti.uniurb.it/events/sfm15mp/

Contents (5 items)

SFM-2015-BrandauerCCFJPT #parallel
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore (SB, EC, DC, KFR, EBJ, KIP, SLTT, TW, AMY), pp. 1–56.
SFM-2015-ArbabJ #coordination #manycore
Coordinating Multicore Computing (FA, SSTQJ), pp. 57–96.
SFM-2015-Alglave #architecture #modelling
Modeling of Architectures (JA), pp. 97–145.
SFM-2015-CoppoDPY #multi
A Gentle Introduction to Multiparty Asynchronous Session Types (MC, MDC, LP, NY), pp. 146–178.
SFM-2015-CastegrenOW #fine-grained
Refined Ownership: — Fine-Grained Controlled Internal Sharing (EC, , TW), pp. 179–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.