registrieren | anmelden | FAQ      [?] 

Tag pi-calculus [58 articles]

Recent papers classified by the tag pi-calculus.
  • A Petri Net Semantics for pi-Calculus
    (1995), pp. 145-159.
    by Nadia Busi, Roberto Gorrieri
    posted to petri-nets pi-calculus by znmeb on 2007-04-21 18:45:45 as ***** along with 1 person and 2 groups mattis23 dIEMoSIRIS MoSi-Rostock
  • Pi-Calculus As A Rapid Prototype Language For Performance Evaluation
    by Francesco Logozzo
    posted to performance pi-calculus by znmeb on 2007-04-21 18:51:23 as ***** along with 1 person mputney1
  • A generic type system for the Pi-calculus
    Theoretical Computer Science, Vol. 311, No. 1-3. (23 January 2004), pp. 121-163.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to copy pi-calculus type-theory by yoriyuki on 2008-07-01 03:59:09 as ** along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to concurrent foundations pi-calculus process by wneumann on 2005-03-22 16:57:10 as **** along with 5 people stagediver cogumbreiro calvins neuralwarp jpaulo007
  • notes Pict: A Programming Language Based on the Pi-Calculus
    (2000)
    by Benjamin C Pierce, David N Turner
    edited by G Plotkin, C Stirling, M Tofte
    posted to concurrent implementation pi-calculus process by wneumann on 2005-04-11 20:35:51 as *** along with 4 people jrw tautologico cogumbreiro shimomura
  • A pi-calculus based semantics for WS-BPEL
    Journal of Logic and Algebraic Programming, Vol. 70, No. 1. (January 2007), pp. 96-118.
    by Roberto Lucchi, Manuel Mazzara
    posted to pi-calculus webservice ws-bpel by toppi on 2007-12-27 03:52:14 as ** along with 1 person japarejo
  • A Formal Framework for Web Services Coordination
    Electronic Notes in Theoretical Computer Science, Vol. 180, No. 2. (26 June 2007), pp. 55-70.
    by Claudio Guidi, Roberto Lucchi, Manuel Mazzara
    posted to choreography csp pi-calculus webservice by toppi on 2008-03-24 05:05:36 as ***
  • A Calculus of Mobile Processes, Parts I and II
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to programming pi-calculus by tg1w on 2008-11-07 13:09:13 as ** along with 4 people stagediver estrabd cogumbreiro Grobi
  • Functions as processes
    : Automata, Languages and Programming (1990), pp. 167-180.
    by Robin Milner
    posted to concurrency pi-calculus by tautologico on 2007-04-16 19:26:09 as **
  • Towards automatic verification of Erlang programs by &\#960;-calculus translation
    (2006), pp. 38-50.
    by Chanchal K Roy, Thomas Noll, Banani Roy, James R Cordy
    posted to concurrency erlang pi-calculus by tautologico on 2008-04-14 23:03:30 as ** along with 1 person pedagand
  • The Polymorphic Pi-Calculus: Theory and Implementation
    (1996)
    by David N Turner
    posted to concurrency language-implementation pi-calculus types by tautologico on 2008-04-11 23:42:17 as ** along with 1 person jrw
  • Modeling Erlang in the pi-calculus
    (2005), pp. 72-77.
    by Thomas Noll, Chanchal K Roy
    posted to concurrency erlang pi-calculus by tautologico on 2008-04-14 22:57:54 as *** along with 6 people and 3 groups dherman bfraser keigoi tov janschaefer mcclurmc NU-PRL TU-KL-SoftwareTechnologyGroup Lambda the Ultimate
  • Asynchrony and the Pi-calculus
    No. RR-1702. (1992)
    by Gerard Boudol
    posted to pi-calculus by talototo on 2008-10-24 05:16:26 as ** along with 1 person jfischer
  • Communicating and Mobile Systems: the Pi-Calculus
    (15 June 1999)
    by Robin Milner
    posted to pi-calculus by talototo on 2008-10-24 05:16:56 as ** along with 13 people and 2 groups stagediver bfraser kontakte AndreasSchropp cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
  • A Calculus of Mobile Processes, Parts I and II
    No. -86. (1989)
    by Robin Milner, Joachim Parrow, David Walker
    posted to algebra pi-calculus process by stagediver on 2007-04-05 09:03:00 as ** along with 2 people cogumbreiro Templarwzy
  • Foundational Calculi for Programming Languages
    (1997)
    by Benjamin Pierce
    edited by Allen B Tucker
    posted to 21s pi-calculus by pintman on 2006-02-03 14:25:33 as ** along with 9 people and 4 groups snowman rgrig rwtodd jrw cedricboidin sjgaller mrkoot mfrydr ps_ttf Context-driven-testers SRG_at_UCD Desgin-by-Contract complogic
  • A Fully Abstract Model for the [pi]-calculus
    Information and Computation, Vol. 179, No. 1. (25 November 2002), pp. 76-117.
    by MP Fiore, E Moggi, D Sangiorgi
    posted to pi-calculus by mcclurmc on 2008-04-28 15:17:16 as * along with 3 people and 2 groups rahul keigoi janschaefer SRL TU-KL-SoftwareTechnologyGroup
  • Communicating and Mobile Systems: the Pi Calculus
    (1999)
    by Robin Milner
    posted to concurrency distributed-programming pi-calculus theory-computation by mcclurmc on 2007-12-14 00:12:01 as read along with 2 people cogumbreiro shimomura
  • On the pi-Calculus and Linear Logic
    Theoretical Computer Science, Vol. 135, No. 1. (1994), pp. 11-65.
    by Gianluigi Bellin, Philip J Scott
    posted to concurrency curry-howard logic pi-calculus by mcclurmc on 2008-03-07 17:29:27 as ****
  • Type Reconstruction for Linear Pi-Calculus with I/O Subtyping
    (16 February 2001)
    by Atsushi Igarashi, Naoki Kobayashi
    posted to linear-types pi-calculus type-theory by mcclurmc on 2007-12-13 17:10:33 as ***
  • Pi-Calculus in (Co)Inductive Type Theory
    (1997)
    by Furio Honsell, Marino Miculan, Ivan Scagnetto
    posted to concurrency coq pi-calculus theorem-prover type-theory by mcclurmc on 2007-12-14 15:42:43 as ****
  • Type-directed concurrency
    (2005), pp. 6-20.
    by Deepak Garg, Frank Pfenning
    posted to concurrency pi-calculus type-theory by mcclurmc on 2008-01-09 16:19:04 as read
  • Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus
    Lecture Notes in Computer Science : Integrated Formal Methods (2005), pp. 347-365.
    by Vitus SW Lam, Julian Padget
    posted to 2005 pi-calculus statecharts uml by leonardo on 2006-10-06 19:33:56 as **
  • The polyadic pi-calculus: a tutorial
    (1993), pp. 203-246.
    by R Milner
    edited by FL Bauer, W Brauer, H Schwichtenberg
    posted to pi-calculus polyadic by KarlKlose on 2006-12-13 12:30:08 as *** along with 5 people and 3 groups pverstra myui sugarexpletive roland_ewald mperalta macc dIEMoSIRIS MoSi-Rostock
  • Information flow vs. resource access in the asynchronous pi-calculus
    ACM Trans. Program. Lang. Syst., Vol. 24, No. 5. (September 2002), pp. 566-591.
    by Matthew Hennessy, James Riely
    posted to pi-calculus security to-read-fse type-systems by jfischer on 2008-02-28 20:43:13 as **** along with 2 people and 1 group keigoi janschaefer TU-KL-SoftwareTechnologyGroup
  • Secure Composition of Insecure Components
    (1999)
    by P Sewell, J Vitek
    posted to component-security pi-calculus security security-policies to-read-fse by jfischer on 2007-06-26 17:53:35 as read
  • notes Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
    (1997), pp. 256-265.
    by Catuscia Palamidessi
    posted to pi-calculus security by jfischer on 2007-07-13 23:45:45 as **
  • Trust in the pi-calculus
    (2001), pp. 103-114.
    by Mark Hepburn, David Wright
    posted to pi-calculus security by jfischer on 2007-06-26 23:27:18 as ***
  • Interpreting Functions as $π$-Calculus Processes: a Tutorial
    No. RR-3470. (1998)
    by Davide Sangiorgi
    posted to pi-calculus by harshrc on 2007-06-07 08:21:02 as ** along with 1 person cogumbreiro
  • Abstract Interpretation of the pi-Calculus
    (1997), pp. 51-75.
    by Arnaud Venet
    posted to abstract-interpretation cfa concurrency pi-calculus by dherman to the group NU-PRL on 2004-12-25 21:46:46
  • Design and implementation of a tool for translating SBML into the biochemical stochastic -calculus
    Bioinformatics, Vol. 22, No. 24. (15 December 2006), pp. 3075-3081.
    by Claudio Eccher, Corrado Priami
    posted to transformation stochpi sbml pi-calculus by dagmar to the group compneur on 2007-07-06 09:29:58 as read along with 1 person and 1 group jhatrimatri dIEMoSIRIS
  • A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
    Transactions on Computational Systems Biology VII (2006), pp. 123-152.
    by Andrew Phillips, Luca Cardelli, Giuseppe Castagna
    posted to stochpi pi-calculus by dagmar to the group compneur on 2007-07-06 09:57:24 as *** along with 1 person and 1 group Grobi dIEMoSIRIS
  • Stochastic pi-calculus with General Distributions
    (1996)
    by Corrado Priami
    edited by P Clu
    posted to stochpi pi-calculus by dagmar to the group compneur on 2007-07-06 09:48:32 as ** along with 1 person and 1 group Grobi dIEMoSIRIS
  • The π-Calculus as an Abstraction for Biomolecular Systems
    by Aviv Regev, Ehud Shapiro
    posted to pi-calculus basisliteratur by dagmar to the group compneur on 2007-07-06 10:00:20 as **** along with 3 people and 2 groups wnpx gane5h mattis23 dIEMoSIRIS MoSi-Rostock
  • PI-Calculus: A Theory of Mobile Processes
    (2001)
    by Davide Sangiorgi, David Walker
    posted to calculus pi pi-calculus by Grobi on 2008-01-08 16:14:59 as ** along with 3 people eaubin cogumbreiro huqingcheng
  • Stochastic pi-Calculus
    The Computer Journal, Vol. 38, No. 7. (1 July 1995), pp. 578-589.
    by C Priami
    posted to pi-calculus priami stochastic by Grobi on 2008-01-13 17:49:04 as **** along with 2 people and 2 groups mattis23 dagmar dIEMoSIRIS MoSi-Rostock
  • A Spatial Extension to the [pi] Calculus
    Electronic Notes in Theoretical Computer Science, Vol. 194, No. 3. (20 January 2008), pp. 133-148.
    by Mathias John, Roland Ewald, Adelinde M Uhrmacher
    posted to calculus pi pi-calculus by Grobi on 2008-08-09 12:43:15 as ** along with 2 people and 2 groups mattis23 dagmar dIEMoSIRIS MoSi-Rostock
  • Statistical Mechanics: Entropy, Order Parameters and Complexity (Oxford Master Series in Physics)
    (15 May 2006)
    by James P Sethna
    posted to pi-calculus repressilator stochastic by Grobi on 2008-04-03 22:35:27 as ** along with 4 people yaroslavvb NitinCR dpf gi0rgi0ne
  • notes The π-Calculus in Direct Style
    Higher Order Symbol. Comput., Vol. 11, No. 2. (September 1998), pp. 177-208.
    by G&\#233;rard Boudol
    posted to blue-calculus continuation-passing-style lambda-calculus pi-calculus by eaubin on 2005-02-23 02:07:56 as read
  • Type inference with polymorphic recursion
    ACM Trans. Program. Lang. Syst., Vol. 15, No. 2. (April 1993), pp. 253-289.
    by Fritz Henglein
    posted to pi-calculus by dagelee on 2007-03-08 13:07:15 as ** along with 3 people creswick soutaro osh
  • A generic type system for the Pi-calculus
    ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 128-141.
    by Atsushi Igarashi, Naoki Kobayashi
    posted to pi-calculus by dagelee on 2007-03-09 01:00:16 as **
  • The pi-Calculus in Direct Style
    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 **
  • An Object Calculus for Asynchronous Communication
    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 read along with 1 person croys
  • The chemical abstract machine
    (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 6 people scis0000001 mstone erikgarrison bfraser pedagand mperalta
  • Biomolecular Agents as Multi-behavioural Concurrent Objects
    Electronic Notes in Theoretical Computer Science, Vol. 150, No. 1. (9 March 2006), pp. 31-49.
    by Denys Duchier, Celine Kuttler
    posted to agents modeling pi-calculus sysbio by carmaus on 2007-05-24 09:20:32 as **** along with 1 person and 2 groups roland_ewald dIEMoSIRIS MoSi-Rostock
  • Linearity and the pi-calculus
    ACM Trans. Program. Lang. Syst., Vol. 21, No. 5. (September 1999), pp. 914-947.
    by Naoki Kobayashi, Benjamin C Pierce, David N Turner
    posted to linear_logic pi-calculus by bfraser on 2008-06-09 23:42:43 as ** along with 1 person keigoi
  • Using the π-Calculus for Formalizing Workflow Patterns
    Business Process Management (2005), pp. 153-168.
    by Frank Puhlmann, Mathias Weske
    posted to pattern pi-calculus workflow by bfraser on 2008-08-15 22:25:33 as **
  • Model checking mobile processes
    Inf. Comput., Vol. 129, No. 1. (August 1996), pp. 35-51.
    by Mads Dam
    posted to model_checking pi-calculus by bfraser on 2008-06-11 18:33:54 as ****
  • Proof systems for pi-calculus logics
    (2003), pp. 145-212.
    by Mads Dam
    posted to pi-calculus by bfraser on 2008-06-11 18:34:41 as **
  • On the decidability of process equivalences for the [pi]-calculus
    Theoretical Computer Science, Vol. 183, No. 2. (15 September 1997), pp. 215-228.
    by Mads Dam
    posted to decidability pi-calculus verification by bfraser on 2008-06-11 18:40:29 as **
    • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/tag/pi-calculus

    Result page: 1 2 Next RIS BibTeX
    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.