Sciweavers

3713 search results - page 29 / 743

» Constructing a Calculus of Programs

13

ESOP
2003
Springer

97views Programming Languages» more ESOP 2003»

Type Inference for a Distributed pi-Calculus

14 years 19 days ago

Type Inference for a Distributed pi-Calculus

Download www.cogs.susx.ac.uk

Cédric Lhoussaine

claim paper

Read More »

25

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

13 years 11 months ago

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

Download basics.sjtu.edu.cn

Zhoujun Li, Huowang Chen

claim paper

Read More »

18

ICALP
1998
Springer

125views Programming Languages» more ICALP 1998»

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

13 years 11 months ago

Complete Proof Systems for Observation Congruences in Finite-Control pi-Calculus

Download basics.sjtu.edu.cn

Huimin Lin

claim paper

Read More »

23

POPL
1996
ACM

126views Programming Languages» more POPL 1996»

The Reflexive CHAM and the Join-Calculus

13 years 11 months ago

The Reflexive CHAM and the Join-Calculus

Download www-sop.inria.fr

Cédric Fournet, Georges Gonthier

claim paper

Read More »

24

ICALP
1993
Springer

86views Programming Languages» more ICALP 1993»

The Fork Calculus

13 years 11 months ago

The Fork Calculus

Download www.cs.helsinki.fi

Klaus Havelund, Kim Guldstrand Larsen

claim paper

Read More »

« Prev « First page 29 / 743 Last » Next »