Sciweavers

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

20

ENTCS
2006

favoriteEmaildiscussreport

141views more ENTCS 2006»

A Concurrent Model for Linear Logic

13 years 6 months ago

A Concurrent Model for Linear Logic

Download iml.univ-mrs.fr

We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and modal logics, and yields a new type system for process calculi that ensures termination while allowing significantly concurrent behaviours. Then we study how embeddings of intuitionistic and classical logics into linear logic induce typed translations of and

Emmanuel Beffara

Real-time Traffic

ENTCS 2006 | Linear Logic | Modal Logics | Name-passing Process Calculus |

claim paper

Related Content

» Concurrent Games and Full Completeness

» Relating StateBased and ProcessBased Concurrency through Linear Logic

» A Sequent Calculus for Modelling Interferences

» The Concurrency Complexity for the Horn Fragment of Linear Logic

» Specifying Properties of Concurrent Computations in CLF

» Composition of Semantic Web services using Linear Logic theorem proving

» Bounded Model Checking with Description Logic Reasoning

» Modal Logic over Higher Dimensional Automata

» Monadic concurrent linear logic programming

Post Info
More Details (n/a)

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	ENTCS
Authors	Emmanuel Beffara

Comments (0)