Search Sciweavers | Sciweavers

115 search results - page 9 / 23

» The Attributed Pi Calculus

111

click to vote

SOFSEM
2010
Springer

259views Theoretical Computer Science» more SOFSEM 2010»

A Complete Symbolic Bisimulation for Full Applied Pi Calculus

16 years 9 days ago

Download www.sofsem.cz

Jia Liu, Huimin Lin

claim paper

Read More »

101

Voted

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 9 months ago

Download www.dsi.unive.it

Michele Bugliesi, Damiano Macedonio, Sabina Rossi

claim paper

Read More »

104

click to vote

CONCUR
2007
Springer

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

Compositional Event Structure Semantics for the Internal pi -Calculus

15 years 9 months ago

Download www.math.unipd.it

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

claim paper

Read More »

Voted

FSTTCS
2007
Springer

111views Software Engineering» more FSTTCS 2007»

Symbolic Bisimulation for the Applied Pi Calculus

15 years 9 months ago

Download www.lsv.ens-cachan.fr

Stéphanie Delaune, Steve Kremer, Mark Ryan

claim paper

Read More »

click to vote

FOSSACS
2005
Springer

109views Software Engineering» more FOSSACS 2005»

Free-Algebra Models for the pi-Calculus

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers