Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed ...

Abstract. Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal.

The paper shows that no finite set of transformation rules suffices to eliminate synchronous communication statements from programs involving the ...

Dive into the research topics of 'Formal Sequentialization of Distributed Systems via Program Rewriting'. Together they form a unique fingerprint. Sort by ...

Miquel Bertran, Francesc-Xavier Babot, August Climent: Formal Sequentialization of Distributed Systems via Program Rewriting. PROLE 2006: 53-75.

Formal Sequentialization of Distributed Systems via Program Rewriting. Miquel Bertran, Francesc Babot, August Climent.

We introduce canonical sequentialization, a new approach to verifying unbounded, asynchronous, message-passing programs at compile-time.

Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed ...

We introduce canonical sequentialization, a new approach to verifying unbounded, asynchronous, message- passing programs at compile-time.

Formal Sequentialization of Distributed Systems via Program Rewriting · Author Picture Miquel Bertran. Informàtica La Salle, Universitat Ramon Llull, Barcelona.