Algebraic Rules for reasoning about BSP programs


Autoria(s): Stewart, Henry
Contribuinte(s)

Gorlatch, Sergei

Lengauer, Christian

Data(s)

2002

Identificador

http://pure.qub.ac.uk/portal/en/publications/algebraic-rules-for-reasoning-about-bsp-programs(fe1b1aa1-edf2-4ef8-8b9c-d119e9459766).html

Idioma(s)

eng

Publicador

Nova Science Publishers

Direitos

info:eu-repo/semantics/restrictedAccess

Fonte

Stewart , H 2002 , Algebraic Rules for reasoning about BSP programs . in S Gorlatch & C Lengauer (eds) , Constructive Methods for Parallel Programming . Nova Science Publishers , pp. 41-57 .

Tipo

contributionToPeriodical