Results 31 to 40 of about 683 (202)
Comparing Deadlock-Free Session Typed Processes [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Besides respecting prescribed protocols, communication-centric systems should never "get stuck". This requirement has been expressed by liveness properties such as progress or (dead)lock freedom.
Ornela Dardha, Jorge A. Pérez
doaj +1 more source
Sensors, 2022 Autonomous components within electric power systems can be successfully specified by interpreted Petri nets. Such a formal specification makes it possible to check some basic properties of the models, such as determinism or deadlock freedom.
Iwona Grobelna, Paweł Szcześniak
doaj +1 more source
Checking Deadlock-Freedom of Parametric Component-Based Systems [PDF]
Journal of Logical and Algebraic Methods in Programming, 2019 We propose an automated method for computing inductive invariants applied to check deadlock-freedom for parametric component-based systems. The method generalizes the approach for computing structural trap invariants from bounded to parametric systems with general architectures.
Marius Bozga, Radu Iosif, Joseph Sifakis
openaire +5 more sources
International Terrorism: What are the Current Legal Challenges in Bringing Terrorists to Justice?
Groningen Journal of International Law, 2016 International terrorism has faced a definitional deadlock. While various international conventions have emerged condemning acts of terrorism and states have enacted counterterrorism legislation, a single universal definition on the crime of terrorism has
Jessica Möttö
doaj +1 more source
A specification structure for deadlock-freedom of synchronous processes
Theoretical Computer Science, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Samson Abramsky +2 more
openaire +2 more sources
Deadlock and lock freedom in the linear π-calculus [PDF]
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014 We study two refinements of the linear π-calculus that ensure deadlock freedom (the absence of stable states with pending linear communications) and lock freedom (the eventual completion of pending linear communications). The main feature of both type systems is a new form of channel polymorphism that affects their accuracy in a significant way: they ...
openaire +1 more source
Formulas as Processes, Deadlock-Freedom as Choreographies
CoRRAbstract We introduce a novel approach to studying properties of processes in the $$\pi $$ π -calculus based on a processes-as-formulas interpretation, by establishing a correspondence between specific sequent calculus derivations ...
Matteo Acclavio +2 more
openaire +4 more sources
E-REA, 2014 This article is a commentary on the Lacanian appropriation of Breaking the Waves by Slavoj Zizek, Frances Restuccia and others who argue that the film’s saintly heroine, Bess, performs an authentic feminine act paradoxically in her very suicidal over ...
Tamas NAGYPAL
doaj +1 more source
Deadlock-freedom (and safety) of transactions in a distributed database
Journal of Computer and System Sciences, 1985 We analyze the problem of determining freedom from deadlock of transactions which control concurrency by locking in a distributed database. We use a graph-theoretic formalization of the problem and show that it is NP-hard even for two transactions.
Ouri Wolfson, Mihalis Yannakakis
openaire +2 more sources
Advanced Science, EarlyView.Bone cancer pain and depression share a common origin: astrocytic A2‐to‐A1 transition in the posterior piriform cortex. This phenotypic shift disrupts the ATP–adenosine–A2AR–norepinephrine axis, simultaneously driving nociceptive and affective dysfunction.
Jiang‐Ping Liu +14 more
wiley +1 more source