„deadlock“

Suchergebnisse

323 Treffer

• Fair Termination of Multiparty Sessions
  Ciccone, Luca ; Dagnino, Francesco ; Padovani, Luca 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Design-By-Contract for Flexible Multiparty Session Protocols
  Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil ; Tuosto, Emilio ; Yoshida, Nobuko 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Probabilistic Analysis of Binary Sessions
  Inverso, Omar ; Melgratti, Hernán ; Padovani, Luca ; Trubiani, Catia ; Tuosto, Emilio 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Session Subtyping and Multiparty Compatibility Using Circular Sequents
  Horne, Ross 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Width Parameterizations for Knot-Free Vertex Deletion on Digraphs
  Bessy, Stéphane ; Bougeret, Marin ; Carneiro, Alan D. A. ; Protti, Fábio ; Souza, Uéverton S. 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Motion Session Types for Robotic Interactions (Brave New Idea Paper)
  Majumdar, Rupak ; Pirron, Marcus ; Yoshida, Nobuko ; Zufferey, Damien 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transferring Obligations Through Synchronizations
  Hamin, Jafar ; Jacobs, Bart 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mailbox Types for Unordered Interactions
  de'Liguoro, Ugo ; Padovani, Luca 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Analysis of multi-stage open shop processing systems
  Eggermont, Christian E.J. ; Schrijver, Alexander ; Woeginger, Gerhard J. 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Testing of Concurrent Programs
  Isabel, Miguel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
  Heuvel, Bas van den ; Pérez, Jorge A. 2025 Universität
• Konfliktbewältigung und gerichtliche Kontrolle in der Zweipersonen-GmbH mit paritätischer Anteilsstruktur
  Conradi, Thomas 2024 Nomos
• Konfliktbewältigung und gerichtliche Kontrolle in der Zweipersonen-GmbH mit paritätischer Anteilsstruktur
  Conradi, Thomas 2024 Nomos Verlagsgesellschaft mbH & Co. KG
• Developing Sustainable Balance of Payments in Small Countries – Lessons from Macroeconomic Deadlock in Jamaica
  Haughton, Andre 2017 Springer International Publishing
• Ein geschlossenes Konzept zur effizienten Behandlung der Deadlockproblematik in Betriebssystemen/An elaborate concept for efficient handling of deadlock problems appearing in operating systems
  ZÖBEL, D.
• Was ist Deadlock?
  PIEPER, Friedrich
• Sackgassenfreie Syntaxanalyse/Deadlock-free syntax analysis
  Rechenberg, P.
• Ein graphentheoretisches Verfahren zur kostenminimalen Beseitigung von Prozeßverklemmungen/A graph theoretic method to remove process deadlocks at minimum cost
  Schulze, W.
• Deadlock prevention for flexible manufacturing system
  Xu, Gang ; Wu, Zhiming
• IITM High-Resolution Global Forecast Model Version 1: An attempt to resolve monsoon prediction deadlock
  Krishna, R. Phani Murali ; Kumar, Siddharth ; Prajeesh, Athippatta Gopinathan ; Bechtold, Peter ; Wedi, Nils Peter ; Roy, Kumar ; Ganai, Malay ; Reddy, B. Revanth ; Tirkey, Snehlata ; Goswami, Tanmoy ; Kanase, Radhika ; Mukhopadhyay, Parthasarathi