Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Alexander Gotmanov

Verifying Deadlock-Freedom of Communication Fabrics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Related publications

Deadlock Freedom Through Object Ownership

2009English

Checking Deadlock-Freedom of Parametric Component-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A General Approach to Deadlock Freedom Verification for Software Architectures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Modelling and Verifying Communication Failure of Hybrid Systems in HCSP

Computer Journal
Computer Science
2016English

Providing Differentiated Services, Congestion Management, and Deadlock Freedom in Dragonfly Networks With Adaptive Routing

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2017English

The Guided System Development Framework: Modeling and Verifying Communication Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Breaking the Deadlock

Veterinary Record
MedicineVeterinary
2008English

The Patent Deadlock

2018English

Deadlock Models and a General Algorithm for Distributed Deadlock Detection

Journal of Parallel and Distributed Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceArtificial IntelligenceSoftware
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy