Π-calculus

Results: 127



#Item
21

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

Add to Reading List

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

Language: English - Date: 2006-05-29 01:41:31
    22

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

    Add to Reading List

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

    Language: English - Date: 2007-04-23 05:55:35
      23

      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

      Add to Reading List

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

      Language: English - Date: 2006-05-29 01:35:05
        24

        A behavioural theory for a π-calculus with preorders Daniel Hirschkoffa,∗, Jean-Marie Madiota , Xu Xianb a ENS b East Lyon, Universit´

        Add to Reading List

        Source URL: madiot.fr

        Language: English - Date: 2015-10-09 12:15:41
          25

          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

          Add to Reading List

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

          Language: English - Date: 2006-05-29 01:35:05
            26

            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

            Add to Reading List

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

            Language: English - Date: 2006-05-29 01:35:05
              27

              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

              Add to Reading List

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

              Language: English - Date: 2007-04-23 04:50:13
                28

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

                Add to Reading List

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

                Language: English - Date: 2007-04-23 05:55:35
                  29

                  Electronic Notes in Theoretical Computer ScienceURL: http://www.elsevier.nl/locate/entcs/volume83.html 20 pages Contextual Equivalence for Higher-Order π-Calculus Revisited Alan Jeffrey 1

                  Add to Reading List

                  Source URL: www.entcs.org

                  Language: English - Date: 2004-04-02 17:27:19
                    30

                    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
                      UPDATE