×

Found 536 Documents (Results 1–100)

100
MathJax

Prioritise the best variation. (English) Zbl 07493474

Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021).
MSC:  68Q85 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI

Optimal memory-anonymous symmetric deadlock-free mutual exclusion. (English) Zbl 07298670

Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 157-166 (2019).
MSC:  68M14 68W15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Dynamic symbolic verification of MPI programs. (English) Zbl 1460.68029

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 466-484 (2018).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Deadlock detection for actor-based coroutines. (English) Zbl 1460.68025

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018).
MSC:  68N30 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Improving SAT-based bounded model checking for existential CTL through path reuse. (English) Zbl 1415.68149

Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 471-487 (2018).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI

Fine-grained parameterized complexity analysis of knot-free vertex deletion – a Deadlock Resolution Graph problem. (English) Zbl 06946779

Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10976, 84-95 (2018).
MSC:  68Rxx
PDF BibTeX XML Cite
Full Text: DOI

Deletion graph problems based on deadlock resolution. (English) Zbl 1434.68046

Cao, Yixin (ed.) et al., Computing and combinatorics. 23rd international conference, COCOON 2017, Hong Kong, China, August 3–5, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10392, 75-86 (2017).
MSC:  68M14 68R10
PDF BibTeX XML Cite
Full Text: DOI

Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017).
MSC:  68Q85 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI. (English) Zbl 1427.68184

Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 102-118 (2016).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. (English) Zbl 1338.68003

SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016).
Reviewer: Ioan Pop (Iaşi)
PDF BibTeX XML Cite
Full Text: DOI

Abstracting and counting synchronizing processes. (English) Zbl 1432.68305

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 227-244 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link

Deadlock and lock freedom in the linear \(\pi\)-calculus. (English) Zbl 1392.68311

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 72, 10 p. (2014).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI Link

An expressive framework for verifying deadlock freedom. (English) Zbl 1410.68234

Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 287-302 (2013).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software