cogumbreiro's pi-calculus [12 articles] Export Sort

Recent papers added to cogumbreiro's library classified by the tag pi-calculus. You can also see everyone's pi-calculus.

Hide details

	Pict: A Programming Language Based on the Pi-Calculus [My Copy] In Proof, Language and Interaction: Essays in Honour of Robin Milner (2000) by Benjamin C. Pierce, David N. Turner edited by G. Plotkin, C. Stirling, M. Tofte posted to compiler pi-calculus by cogumbreiro on 2008-02-14 13:09:58 as along with 5 people dagelee jrw tautologico wneumann shimomura
	Interpreting Functions as $π$-Calculus Processes: a Tutorial [My Copy] No. RR-3470. (1998) by Davide Sangiorgi posted to pi-calculus by cogumbreiro on 2008-02-14 13:09:22 as along with 1 person harshrc
	Communicating and Mobile Systems: the Pi Calculus [My Copy] (1999) by Robin Milner posted to pi-calculus by cogumbreiro on 2008-02-14 13:09:13 as along with 2 people shimomura mcclurmc
	The polyadic pi-calculus: a tutorial [My Copy] In Logic and Algebra of Specification (1993), pp. 203-246. by R. Milner edited by F. L. Bauer, W. Brauer, H. Schwichtenberg posted to pi-calculus by cogumbreiro on 2008-02-14 13:08:11 as along with 5 people wneumann stagediver calvins neuralwarp jpaulo007
	The chemical abstract machine [My Copy] In POPL '90: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1990), pp. 81-94. by Gérard Berry, Gérard Boudol posted to pi-calculus by cogumbreiro on 2006-11-23 10:59:40 as along with 8 people fierykylin robotact scis0000001 mstone erikgarrison bfraser pedagand mperalta
	Functions as processes [My Copy] (June 1989) by Robin Milner posted to lambda-calculus pi-calculus by cogumbreiro on 2006-11-23 10:39:26 as
	The pi-Calculus in Direct Style [My Copy] Higher-Order and Symbolic Computation, Vol. V11, No. 2. (1 December 1998), pp. 177-208. by Gã©rard Boudol posted to lambda-calculus pi-calculus by cogumbreiro on 2006-11-10 15:03:44 as
	A Calculus of Mobile Processes, Part II [My Copy] No. -86. (1989) by Robin Milner, Joachim Parrow, David Walker posted to concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:28:18 as along with 6 people p2p01 fierykylin tg1w stagediver estrabd Grobi
	PI-Calculus: A Theory of Mobile Processes [My Copy] (2001) by Davide Sangiorgi, David Walker posted to asynchronous concurrency pi-calculus by cogumbreiro on 2006-11-10 14:17:59 as along with 3 people eaubin huqingcheng Grobi
	A Calculus of Mobile Processes, Part I [My Copy] No. -86. (1989) by Robin Milner, Joachim Parrow, David Walker posted to ccs concurrency pi-calculus by cogumbreiro on 2006-11-10 14:17:24 as along with 2 people stagediver Templarwzy
	Communicating and Mobile Systems: the Pi-Calculus [My Copy] (15 June 1999) by Robin Milner posted to ccs concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:10:42 as along with 14 people and 2 groups scottmoody talototo stagediver bfraser kontakte AndreasSchropp osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
	An Object Calculus for Asynchronous Communication [My Copy] Lecture Notes in Computer Science, Vol. 512 (1991), pp. 133-??. by Kohei Honda, Mario Tokoro posted to asynchronous concurrency pi-calculus process-algebra by cogumbreiro on 2006-11-10 14:03:33 as along with 1 person croys

Note: You may cite this page as: http://www.citeulike.org/user/cogumbreiro/tag/pi-calculus

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

pi-calculus	12
concurrency	6
types	4
process-algebra	4
lambda-calculus	4
typed-assembly-language	3
type-theory	3
asynchronous	2
distributed-filesystem	2
parallel-programming	2
afs	2
compiler	2
ccs	2
distributed-systems	2
type_theory	1
dynamic-types	1
tdd	1
csp	1
system-f	1
typed-intermediate-language	1
semantics	1
xp	1
polymorphism	1
java	1
dynamic-typing	1
type-system	1
microprocessors	1
dynamic	1
visitorpattern	1
chip-multiprocessor	1
type-safety	1
designpatterns	1
javascript	1
stack-machine	1

cogumbreiro's pi-calculus [12 articles] Export Sort

cogumbreiro's tags