Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/93017

Axiomatic frameworks for developing BSP-style programs
Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació
In BSP a superstep comprises a collection of concurrently executed processes with initial and terminal synchronisations. Data transfer between processes is realised through asynchronous communications. BSP programs can be organised either as explicit compositions of supersteps or as parallel compositions of threads (processes) which include synchronisation alignment operations. In this paper axiomatic semantics for the two approaches are proposed: in both cases the semantics are based on a new form of multiple substitution - predicate substitution which generalises previous definitions of substitution. Predicate substitution together with global synchronisation provide a means of linking state based and process semantics of BSP.
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
BSP
Superstep
Axiomatic semantics
info:eu-repo/semantics/publishedVersion
Informe
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Stewart, Alan; Clint, M.; Gabarró Vallès, Joaquim; Serna Iglesias, María José
Gabarró Vallès, Joaquim; Kilpatrick, Peter; Serna Iglesias, María José; Stewart, Alan
Stewart, Alan; Gabarró Vallès, Joaquim; Keenan, Anthony
Roy, Helen E.; Adriaens, Tim; Aldridge, David; Bacher, Sven; Bishop, John; Blackburn, Tim M.; Branquart, Etienne; Brodie, Juliet; Carboneras, Carles; Cook, Elizabeth J.; Copp, Gordon H.; Dean, Hannah; Eilenberg, Jørgen; Essl, Franz; Gallardo, Belinda; Garcia, Mariana; García-Berthou, Emili; Genovesi, Piero; Hulme, Philip E.; Kenis, Marc; Kerckhof, Francis; Kettunen, Marianne; Minchin, Dan; Nentwig, Wolfgang; Nieto, Ana; Pergl, Jan; Pescott, Oliver; Peyton, Jodey; Preda, Cristina; Rabitsch, Wolfgang; Roques, Alain; Rorke, Steph; Scalera, Riccardo; Schindler, Stefan; Schönrogge, Karsten; Solarz, Wojciech; Stewart, Alan; Tricarico, Elena; Vanderhoeven, Sonia; van der Velde, Gerard; Vilà, Montserrat; Wood, Christine; Zenetos, Argyro
Roy, Helen E.; Adriaens, Tim; Aldridge, David; Bacher, Sven; Bishop, John; Blackburn, Tim M.; Branquart, Etienne; Brodie, Juliet; Carboneras, Carles; Cook, Elizabeth J.; Copp, Gordon H.; Dean, Hannah; Eilenberg, Jørgen; Essl, Franz; Gallardo, Belinda; Garcia, Mariana; García-Berthou, Emili; Genovesi, Piero; Hulme, Philip E.; Kenis, Marc; Kerckhof, Francis; Kettunen, Marianne; Minchin, Dan; Nentwig, Wolfgang; Nieto, Ana; Pergl, Jan; Pescott, Oliver; Peyton, Jodey; Preda, Cristina; Rabitsch, Wolfgang; Roques, Alain; Rorke, Steph; Scalera, Riccardo; Schindler, Stefan; Schönrogge, Karsten; Solarz, Wojciech; Stewart, Alan; Tricarico, Elena; Vanderhoeven, Sonia; van der Velde, Gerard; Vilà, Montserrat; Wood, Christine; Zenetos, Argyro