Deadlock

Results: 270



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

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
    52A 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

    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
      5332 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

      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
        54A 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

        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
          55Microsoft Word - SFLAW-#v2-Section_2000_50_50_Deadlock_USE_THIS_ONE.DOC

          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
            56Static Lock Capabilities for Deadlock Freedom Colin S. Gordon Michael D. Ernst Dan Grossman

            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
              57Chapter 6 Deadlock DM519 Concurrent Programming

              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
                58Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts Kohei Suenaga1 and Naoki Kobayashi2 1 2

                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
                  59Implicitly-Typed Deadlock-Free Process Calculus

                  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
                    60Negotiation 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

                    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