Search Sciweavers | Sciweavers

3239 search results - page 1 / 648

» A Logical Process Calculus

click to vote

ENTCS
2006

141views more ENTCS 2006»

A Concurrent Model for Linear Logic

13 years 11 months ago

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...

Emmanuel Beffara

claim paper

Read More »

click to vote

FOSSACS
2012
Springer

262views Software Engineering» more FOSSACS 2012»

Functions as Session-Typed Processes

12 years 6 months ago

Download www.cs.cmu.edu

We study type-directed encodings of the simply-typed λ-calculus in a session-typed π-calculus. The translations proceed in two steps: standard embeddings of simply-typed λ-calcu...

Bernardo Toninho, Luís Caires, Frank Pfenni...

claim paper

Read More »

click to vote

ENTCS
2007

101views more ENTCS 2007»

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic

13 years 10 months ago

Download www.abdn.ac.uk

We describe a programme of research in resource semantics, concurrency theory, bunched logic, and stochastic processes, as applied to mathematical systems modelling. Motivated by ...

David J. Pym, Chris M. N. Tofts

claim paper

Read More »

click to vote

FAC
2006

72views more FAC 2006»

A Calculus and logic of resources and processes

13 years 11 months ago

Download www.hpl.hp.com

David J. Pym, Chris M. N. Tofts

claim paper

Read More »