Search Sciweavers | Sciweavers

115 search results - page 9 / 23

» The Attributed Pi Calculus

146

click to vote

SOFSEM
2010
Springer

259views Theoretical Computer Science» more SOFSEM 2010»

A Complete Symbolic Bisimulation for Full Applied Pi Calculus

16 years 3 months ago

Download www.sofsem.cz

Jia Liu, Huimin Lin

claim paper

Read More »

135

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

16 years 18 days ago

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

claim paper

Read More »

137

click to vote

CONCUR
2007
Springer

93views Distributed And Parallel Com...» more CONCUR 2007»

Compositional Event Structure Semantics for the Internal pi -Calculus

16 years 18 days ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper

Read More »

118

click to vote

FSTTCS
2007
Springer

111views Software Engineering» more FSTTCS 2007»

Symbolic Bisimulation for the Applied Pi Calculus

16 years 17 days ago

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Mark Ryan

claim paper

Read More »

135

Voted

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers