The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase rely-guarantee (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1985-2002 (15) 2003-2007 (18) 2008-2010 (17) 2011-2014 (15) 2015-2019 (20) 2020-2023 (18)
Publication types (Num. hits)
article(31) inproceedings(69) phdthesis(3)
Venues (Conferences, Journals, ...)
CoRR(12) Formal Aspects Comput.(8) CONCUR(5) ESOP(5) POPL(5) ACM Trans. Program. Lang. Syst...(3) FM(3) FME(3) FSTTCS(3) ICFP(2) ITP(2) J. Autom. Reason.(2) TASE(2) VMCAI(2) VSTTE(2) ABZ(1) More (+10 of total 56)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 63 occurrences of 53 keywords

Results
Found 103 publication records. Showing 103 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
123Xinyu Feng 0001 Local rely-guarantee reasoning. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF rely-guarantee reasoning, concurrency, information hiding, separation logic, local reasoning
93Raffi Khatchadourian, Neelam Soundarajan Rely-guarantee approach to reasoning about aspect-oriented programs. Search on Bibsonomy SPLAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF aspect-oriented software, modular verification, rely-guarantee
86Neil Henderson Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional Rely-Guarantee Proof Method. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF assertion networks, asynchronous communication, rely-guarantee
86Jürgen Dingel, David Garlan, Somesh Jha, David Notkin Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Rely/guarantee, Assumption/commitment, Implicit invocation
78Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri Constructing Deadlock Free Event-Based Applications: A Rely/Guarantee Approach. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF rely/guarantee, deadlock, parallel systems, event-based systems, auxiliary variables
78Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Rely-guarantee specification, transition systems, compositional verification, safety properties, shared variables
70Eugene W. Stark A Proof Technique for Rely/Guarantee Properties. Search on Bibsonomy FSTTCS The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
55Viktor Vafeiadis, Matthew J. Parkinson A Marriage of Rely/Guarantee and Separation Logic. Search on Bibsonomy CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
48Joey W. Coleman Expression Decomposition in a Rely/Guarantee Context. Search on Bibsonomy VSTTE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
48Cliff B. Jones, Ken G. Pierce Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification. Search on Bibsonomy ABZ The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Tom Ridge Verifying distributed systems: the operational approach. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
46Viktor Vafeiadis, Maurice Herlihy, Tony Hoare, Marc Shapiro 0001 Proving correctness of highly-concurrent linearisable objects. Search on Bibsonomy PPoPP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF rely-guarantee reasoning, shared-memory concurrency, formal verification, concurrent programming, linearisability
46Xinyu Feng 0001, Zhong Shao Modular verification of concurrent assembly code with dynamic thread creation and termination. Search on Bibsonomy ICFP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
44Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis Deny-Guarantee Reasoning. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Hasan Amjad, Richard Bornat Towards Automatic Stability Analysis for Rely-Guarantee Proofs. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
40Leonor Prensa Nieto The Rely-Guarantee Method in Isabelle/HOL. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
40Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Raffi Khatchadourian, Johan Dovland, Neelam Soundarajan Enforcing behavioral constraints in evolving aspect-oriented programs. Search on Bibsonomy FOAL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF aspect-oriented programming, modular reasoning, rely-guarantee
38Neil Evans, Helen Treharne Interactive tool support for CSP || B consistency checking. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal method integration, Tool supported verification, Rely/guarantee techniques, CSP, B
38Alan Burns 0001, Tse-Min Lin An engineering process for the verification of real-time systems. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rely/guarantee conditions, Model checking, Scheduling analysis, UPPAAL, SPARK, Ada95, Ravenscar profile
38Marc Shapiro 0001 Practical proofs of concurrent programs. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF concurrent programming, assertions, hoare logic, program proofs, rely-guarantee
38Ralph-Johan Back, Joakim von Wright Compositional Action System Refinement. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Rely/guarantee, Refinement, Compositionality, Action systems
38Ekkart Kindler A Compositional Partial Order Semantics for Petri Net Components. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Petri net component, rely-guarantee specification, fully abstract, compositional semantics, partial order semantics
33Yongwang Zhao, David Sanán Rely-guarantee Reasoning about Concurrent Reactive Systems: The PiCore Framework, Languages Integration and Applications. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Yongwang Zhao, David Sanán Rely-guarantee Reasoning about Concurrent Memory Management: Correctness, Safety and Security. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Cliff B. Jones, Alan Burns 0001 Extending Rely-Guarantee thinking to handle Real-Time Scheduling. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Nisansala P. Yatapanage Rely/Guarantee, Refinement and the ABA Problem: Part 1. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Nisansala P. Yatapanage, Cliff B. Jones Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33ShangBei Wang, WeiYu Dong Matching Logic for Concurrent Programs Based on Rely/Guarantee and Abstract Patterns. Search on Bibsonomy Int. J. Softw. Eng. Knowl. Eng. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Ori Lahav 0001, Brijesh Dongol, Heike Wehrheim Rely-Guarantee Reasoning for Causally Consistent Shared Memory. Search on Bibsonomy CAV (1) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. Search on Bibsonomy FMICS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Larissa A. Meinicke, Ian J. Hayes Using scylindric algebra to support local variables in rely/guarantee concurrency. Search on Bibsonomy FormaliSE The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
33Thomas Pani, Georg Weissenbacher, Florian Zuleger Rely-guarantee bound analysis of parameterized concurrent shared-memory programs. Search on Bibsonomy Formal Methods Syst. Des. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Ian J. Hayes, Larissa A. Meinicke, Patrick A. Meiring Deriving Laws for Developing Concurrent Programs in a Rely-Guarantee Style. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
33David Sanán, Yongwang Zhao, Shang-Wei Lin 0001, Yang Liu 0003 CSim2: Compositional Top-down Verification of Concurrent Systems using Rely-Guarantee. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Nicholas Coughlin, Kirsten Winter, Graeme Smith 0001 Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models. Search on Bibsonomy FM The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
33Cliff B. Jones, Alan Burns 0001 A Rely-Guarantee Specification of Mixed-Criticality Scheduling. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
33Nicholas Coughlin, Graeme Smith 0001 Rely/Guarantee Reasoning for Noninterference in Non-Blocking Algorithms. Search on Bibsonomy CSF The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Wenjing Xul, Yongwang Zhao, Dianfu Ma, YuXin Zhang, Qian Xiao Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles. Search on Bibsonomy TASE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Xuan-Bach Le, David Sanán, Jun Sun 0001, Shang-Wei Lin 0001 Automatic Verification of Multi-threaded Programs by Inference of Rely-Guarantee Specifications. Search on Bibsonomy ICECCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
33Larissa A. Meinicke, Ian J. Hayes Handling localisation in rely/guarantee concurrency: An algebraic approach. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
33Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Cliff B. Jones, Nisansala Yatapanage Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Yongwang Zhao, David Sanán Rely-Guarantee Reasoning About Concurrent Memory Management in Zephyr RTOS. Search on Bibsonomy CAV (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Yongwang Zhao, David Sanán, Fuyuan Zhang, Yang Liu 0003 A Parametric Rely-Guarantee Reasoning Framework for Concurrent Reactive Systems. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Ian J. Hayes, Larissa A. Meinicke Developing an Algebra for Rely/Guarantee Concurrency: Design Decisions and Challenges. Search on Bibsonomy UTP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
33Yannick Zakowski, David Cachera, Delphine Demange, David Pichardie Verified compilation of linearizable data structures: mechanizing rely guarantee for semantic refinement. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Thomas Pani, Georg Weissenbacher, Florian Zuleger Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms. Search on Bibsonomy FMCAD The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Elvira Albert, Antonio Flores-Montoya, Samir Genaim, Enrique Martin-Martin Rely-Guarantee Termination and Cost Analyses of Loops with Concurrent Interleavings. Search on Bibsonomy J. Autom. Reason. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33Colin S. Gordon, Michael D. Ernst, Dan Grossman, Matthew J. Parkinson Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33Ian J. Hayes, Cliff B. Jones A Guide to Rely/Guarantee Thinking. Search on Bibsonomy SETSS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33David Sanán, Yongwang Zhao, Zhe Hou, Fuyuan Zhang, Alwen Tiu, Yang Liu 0003 CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs. Search on Bibsonomy TACAS (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, Jan Vitek Verifying a Concurrent Garbage Collector Using a Rely-Guarantee Methodology. Search on Bibsonomy ITP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33Cliff B. Jones, Andrius Velykis, Nisansala Yatapanage General Lessons from a Rely/Guarantee Development. Search on Bibsonomy SETTA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
33Diego Machado Dias Mechanising an algebraic rely-guarantee refinement calculus. Search on Bibsonomy 2017   RDF
33Annabelle McIver, Tahiry M. Rabehaja, Georg Struth Probabilistic rely-guarantee calculus. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Ian J. Hayes Generalised rely-guarantee concurrency: An algebraic foundation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
33Ian J. Hayes Generalised rely-guarantee concurrency: an algebraic foundation. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Stephan van Staden On Rely-Guarantee Reasoning. Search on Bibsonomy MPC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Ivan Gavran, Filip Niksic, Aditya Kanade, Rupak Majumdar, Viktor Vafeiadis Rely/Guarantee Reasoning for Asynchronous Programs. Search on Bibsonomy CONCUR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
33Annabelle McIver, Tahiry M. Rabehaja, Georg Struth Probabilistic Rely-guarantee Calculus. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
33Jinjiang Lei, Zongyan Qiu Rely-Guarantee Based Reasoning for Message-Passing Programs. Search on Bibsonomy Sci. Ann. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Hongjin Liang 0001, Xinyu Feng 0001, Ming Fu Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Alasdair Armstrong, Victor B. F. Gomes, Georg Struth Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. Search on Bibsonomy FM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Filipe Militão, Jonathan Aldrich, Luís Caires Rely-Guarantee Protocols. Search on Bibsonomy ECOOP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
33Alasdair Armstrong, Victor B. F. Gomes, Georg Struth Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
33Ian J. Hayes Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions. Search on Bibsonomy FTSCS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Colin S. Gordon, Michael D. Ernst, Dan Grossman Rely-guarantee references for refinement types over aliased mutable data. Search on Bibsonomy PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Xiaofeng Wu, Qiwen Xu, Huibiao Zhu Formal Analysis of AODV Using Rely-Guarantee. Search on Bibsonomy TASE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Hongjin Liang 0001, Xinyu Feng 0001, Ming Fu A rely-guarantee-based simulation for verifying concurrent program transformations. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33Said Rabah Azzam, Shikun Zhou Implementation methodology of Rely/Guarantee plug-in for Protégé. Search on Bibsonomy ICITST The full citation details ... 2012 DBLP  BibTeX  RDF
33Brijesh Dongol, Ian J. Hayes Rely/Guarantee Reasoning for Teleo-reactive Programs over Multiple Time Bands. Search on Bibsonomy IFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33William Mansky, Elsa L. Gunter Using Locales to Define a Rely-Guarantee Temporal Logic. Search on Bibsonomy ITP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33Huibiao Zhu, Qiwen Xu, Chris Ma, Shengchao Qin, Zongyan Qiu The Rely/Guarantee Approach to Verifying Concurrent BPEL Programs. Search on Bibsonomy SEFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
33Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif Interleaved Programs and Rely-Guarantee Reasoning with ITL. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
33Richard Bornat, Hasan Amjad Inter-process buffers in separation logic with rely-guarantee. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Tom Ridge A Rely-Guarantee Proof System for x86-TSO. Search on Bibsonomy VSTTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33John Wickerson, Mike Dodds, Matthew J. Parkinson Explicit Stabilisation for Modular Rely-Guarantee Reasoning. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
33Kenneth George Pierce Enhancing the usability of rely-guarantee conditions for atomicity refinement. Search on Bibsonomy 2009   RDF
33Hasan Amjad, Richard Bornat Model Checking for Stability Analysis in Rely-Guarantee Proofs. Search on Bibsonomy VERIFY The full citation details ... 2008 DBLP  BibTeX  RDF
33Joey W. Coleman, Cliff B. Jones A Structural Proof of the Soundness of Rely/guarantee Rules. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
33Joshua D. Guttman, F. Javier Thayer, Jay A. Carlson, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen Trust Management in Strand Spaces: A Rely-Guarantee Method. Search on Bibsonomy ESOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
33Leonor Prensa Nieto Verification of parallel programs with the Owicki-Gries and Rely-Guarantee methods in Isabelle, HOL. Search on Bibsonomy 2002   RDF
33Carlos H. C. Duarte, T. S. E. Maibaum A rely-guarantee discipline for open distributed systems design. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
33Pierre Collette, Cliff B. Jones Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. Search on Bibsonomy Proof, Language, and Interaction The full citation details ... 2000 DBLP  BibTeX  RDF
33Qiwen Xu, Willem P. de Roever, Jifeng He 0001 The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Ketil Stølen An Attempt to Reason about Shared-State Concurrency in the Style of VDM. Search on Bibsonomy VDM Europe (1) The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
15Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever Hoare-Style Compositional Proof Systems for Reactive Shared Variable Concurency. Search on Bibsonomy FSTTCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
15Pierre Collette Application of the Composition Principle to Unity-like Specifications. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Xinyu Feng 0001, Rodrigo Ferreira, Zhong Shao On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Cristiano Calcagno, Matthew J. Parkinson, Viktor Vafeiadis Modular Safety Checking for Fine-Grained Concurrency. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
7C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Foundations of Concurrent Kleene Algebra. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Tayfun Elmas, Shaz Qadeer, Serdar Tasiran A calculus of atomic actions. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF abstraction, concurrent programs, reduction, atomicity
7Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis Proving that non-blocking algorithms don't block. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal verification, concurrent programming, termination, liveness
7C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman Concurrent Kleene Algebra. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Viktor Vafeiadis Shape-Value Abstraction for Verifying Linearizability. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
7Jonathan Hayman, Glynn Winskel Independence and Concurrent Separation Logic. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
7Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl Component Composition Preserving Behavioural Contracts Based on Communication Traces. Search on Bibsonomy CIAA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
7Carlo A. Furia, Matteo Rossi 0001, Dino Mandrioli, Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. Search on Bibsonomy FASE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 103 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license