Π-calculus

Results: 127



#Item
1Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Nordic Journal of Computing On the Expressive Power of Polyadic Synchronisation in π-calculus∗ Marco Carbone BRICS†

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2009-08-14 07:09:04
2IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Model checking probabilistic and stochastic extensions of the π -calculus

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2008-08-28 05:24:01
    3ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

    ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    Language: English - Date: 2009-08-14 07:09:04
    4Rosemary Francis Generating definitions of cell cycles in π-calculus from mathematical models

    Rosemary Francis Generating definitions of cell cycles in π-calculus from mathematical models

    Add to Reading List

    Source URL: lucacardelli.name

    Language: English - Date: 2007-10-27 09:08:35
      5Classroom Voting Questions: Multivariable Calculus 16.5 Integrals in Cylindrical and Spherical Coordinates 1. What are the Cartesian coordinates of the point with cylindrical coordinates (r, θ, z) = (4, π, 6)? (a) (x,

      Classroom Voting Questions: Multivariable Calculus 16.5 Integrals in Cylindrical and Spherical Coordinates 1. What are the Cartesian coordinates of the point with cylindrical coordinates (r, θ, z) = (4, π, 6)? (a) (x,

      Add to Reading List

      Source URL: mathquest.carroll.edu

      Language: English - Date: 2016-05-26 12:40:54
        6Classroom Voting Questions: Calculus I 3.8 L’Hospital’s Rule 1. Evaluate limx→π/2− 1 + tan x .

        Classroom Voting Questions: Calculus I 3.8 L’Hospital’s Rule 1. Evaluate limx→π/2− 1 + tan x .

        Add to Reading List

        Source URL: mathquest.carroll.edu

        - Date: 2018-05-02 10:40:12
          7ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

          ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          Language: English - Date: 2009-08-14 07:09:04
            8ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

            ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1 Department of Computing, Imperial College London,

            Add to Reading List

            Source URL: wwwhomes.doc.ic.ac.uk

            Language: English - Date: 2009-08-14 07:09:04
            9On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

            On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

            Add to Reading List

            Source URL: concurrency.cs.uni-kl.de

            - Date: 2016-02-22 03:32:16