Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework Lo¨ıc Paulev´e, Morgan Magnin, and Olivier Roux IRCCyN, UMR CNRS 6597, ´ Ecole

Source URL: loicpauleve.name

MFPSA resource analysis of the π-calculus Aaron Turon Mitchell Wand College of Computer and Information Science Northeastern University

Source URL: www.mpi-sws.org

Introduction Standard π- calculus Session π- calculus

Source URL: groups.inf.ed.ac.uk

A resource analysis of the π-calculus Aaron Turon Joint work with Mitchell Wand Northeastern University

Source URL: www.mpi-sws.org

Encapsulation and Dynamic Modularity in the π-calculus Daniel Hirschkoff, Tom Hirschowitz, Samuel Hym, Aur´elien Pardon and Damien Pous Oslo, June 7th, 2008

Source URL: places08.di.fc.ul.pt

• Process calculi
• Theoretical computer science
• -calculus
• Distribution

Compiling the π-calculus into a Multithreaded Typed Assembly Language Tiago Cogumbreiro Joint work with Francisco Martins Vasco T. Vasconcelos

Source URL: places08.di.fc.ul.pt

• Theoretical computer science
• Process calculi
• -calculus
• Processor register
• Thread

How Euler Did It by Ed Sandifer Arc length of an ellipse October, 2004 It is remarkable that the constant, π, that relates the radius to the circumference of a circle in the familiar formula C = 2π r is the same consta

Source URL: eulerarchive.maa.org

• Curves
• Elliptic functions
• Ellipse
• Integral calculus
• Complex analysis
• Elliptic integral
• Area of a circle
• Arc length
• Jacobi elliptic functions
• Triangle
• Pi
• Gamma function

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www-kb.is.s.u-tokyo.ac.jp

Undecidability of 2-Label BPP Equivalences and Behavioral Type Systems for the π-Calculus Naoki Kobayashi and Takashi Suto Tohoku University {koba,tsuto}@kb.ecei.tohoku.ac.jp

Source URL: www.kb.ecei.tohoku.ac.jp

Resource Usage Analysis for the π-Calculus Naoki Kobayashi1 , Kohei Suenaga2 , and Lucian Wischik3 1 2

Source URL: www.kb.ecei.tohoku.ac.jp