Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

CSL
2006
Springer

favoriteEmaildiscussreport

106views Automated Reasoning» more CSL 2006»

Jump from Parallel to Sequential Proofs: Multiplicatives

13 years 8 months ago

Jump from Parallel to Sequential Proofs: Multiplicatives

Download www.pps.jussieu.fr

We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can characterize nets with different degrees of sequentiality, by gradual insertion of sequentiality constraints. As a byproduct, we obtain a simple proof of the sequentialisation theorem.

Paolo Di Giamberardino, Claudia Faggian

Real-time Traffic

Automated Reasoning | CSL 2006 | J-proof Nets | Maurel's Multiplicative L-nets | Multiplicative Proof Nets |

claim paper

Related Content

» Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic

» DISC Dynamic Interleaved Segment Caching for Interactive Streaming

» From Proof Nets to the Free Autonomous Category

» Event Domains Stable Functions and ProofNets

» QuakeTM parallelizing a complex sequential application using transactional memory

» Parallelism in the FrontEnd

» StrategyProof Dynamic Resource Pricing of Multiple Resource Types on Federated Clouds

» Parallelizing sequential applications on commodity hardware using a lowcost software trans...

» Speculative parallelization using state separation and multiple value prediction

Post Info
More Details (n/a)

Added	22 Aug 2010
Updated	22 Aug 2010
Type	Conference
Year	2006
Where	CSL
Authors	Paolo Di Giamberardino, Claudia Faggian

Comments (0)