Deadlock

Results: 270



#Item
51

Comparing Deadlock-Free Session Typed Processes Ornela Dardha Jorge A. P´erez University of Glasgow, United Kingdom

Add to Reading List

Source URL: www.dcs.gla.ac.uk

Language: English - Date: 2015-07-31 06:44:39
    52

    A version of this technical report has been accepted for publication at ATVA 2013 An Expressive Framework for Verifying Deadlock Freedom Duy-Khanh Le, Wei-Ngan Chin, Yong-Meng Teo

    Add to Reading List

    Source URL: loris-7.ddns.comp.nus.edu.sg

    Language: English - Date: 2013-06-25 00:13:50
      53

      32 Common Concurrency Problems Researchers have spent a great deal of time and effort looking into concurrency bugs over many years. Much of the early work focused on deadlock, a topic which we’ve touched on in the pas

      Add to Reading List

      Source URL: pages.cs.wisc.edu

      Language: English - Date: 2016-02-01 16:17:53
        54

        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
          55

          Microsoft Word - SFLAW-#v2-Section_2000_50_50_Deadlock_USE_THIS_ONE.DOC

          Add to Reading List

          Source URL: www.sflaw.com

          Language: English - Date: 2014-07-31 17:11:00
            56

            Static Lock Capabilities for Deadlock Freedom Colin S. Gordon Michael D. Ernst Dan Grossman

            Add to Reading List

            Source URL: www.cs.drexel.edu

            Language: English - Date: 2016-03-03 13:09:40
              57

              Chapter 6 Deadlock DM519 Concurrent Programming

              Add to Reading List

              Source URL: www.imada.sdu.dk

              Language: English - Date: 2015-02-17 01:14:32
                58

                Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts Kohei Suenaga1 and Naoki Kobayashi2 1 2

                Add to Reading List

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

                Language: English - Date: 2007-04-23 05:03:27
                  59

                  Implicitly-Typed Deadlock-Free Process Calculus

                  Add to Reading List

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

                  Language: English - Date: 2010-03-15 02:28:28
                    60

                    Negotiation Conflict Styles by Calum Coburn Our style of negotiation or profile can define whether we grind into a deadlock, or create value and an enduring relationship. So what do you do when your needs are incompatibl

                    Add to Reading List

                    Source URL: hms.harvard.edu

                    Language: English - Date: 2014-06-24 15:24:59
                      UPDATE