Search Sciweavers | Sciweavers

1532 search results - page 35 / 307

» An Algebraic Process Calculus

115

click to vote

CPP
2011

99views more CPP 2011»

Proof-Carrying Code in a Session-Typed Process Calculus

14 years 1 months ago

Download www.cs.cmu.edu

Abstract. Dependent session types allow us to describe not only properties of the I/O behavior of processes but also of the exchanged data. In this paper we show how to exploit dep...

Frank Pfenning, Luís Caires, Bernardo Tonin...

claim paper

Read More »

182

click to vote

POPL
2003
ACM

91views Programming Languages» more POPL 2003»

The m-calculus: a higher-order distributed process calculus

16 years 2 months ago

Download www.sics.se

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

100

click to vote

GC
2004
Springer

108views Applied Computing» more GC 2004»

The Kell Calculus: A Family of Higher-Order Distributed Process Calculi

15 years 7 months ago

Download www.dsi.unive.it

Alan Schmitt, Jean-Bernard Stefani

claim paper

Read More »

click to vote

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

15 years 5 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

click to vote

FAC
2006

72views more FAC 2006»

A Calculus and logic of resources and processes

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers