Copertina

Restructuring a concurrent refinement algebra

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hayes, Ian J., Meinicke, Larissa A., Evangelou-Oost, Naso
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science F.3.1; D.1.3
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Reasoning about distributive laws in a concurrent refinement algebra
di: Meinicke, Larissa A., et al.
Pubblicazione: (2024)

Data reification in a concurrent rely-guarantee algebra
di: Meinicke, Larissa A., et al.
Pubblicazione: (2024)

Reasoning about concurrent loops and recursion with rely-guarantee rules
di: Hayes, Ian J., et al.
Pubblicazione: (2025)

Reasoning about expression evaluation under interference
di: Hayes, Ian J., et al.
Pubblicazione: (2024)

Probabilistic imperative process algebra
di: Middelburg, C. A.
Pubblicazione: (2026)

Complementing an imperative process algebra with a rely/guarantee logic
di: Middelburg, C. A.
Pubblicazione: (2025)

Imperative process algebra and models of computation
di: Middelburg, C. A.
Pubblicazione: (2022)

Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
di: Middelburg, C. A.
Pubblicazione: (2021)

Separation Logic of Generic Resources via Sheafeology
di: van Starkenburg, Berend, et al.
Pubblicazione: (2025)

An example of goal-directed, calculational proof
di: Backhouse, Roland, et al.
Pubblicazione: (2023)

Unified Fairness for Weak Memory Verification
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2023)

Bounded Modal Logic
di: Murase, Yuito, et al.
Pubblicazione: (2026)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
di: Xu, Qiyuan, et al.
Pubblicazione: (2024)

Simple Types for Polymorphic Functions
di: Jay, Barry, et al.
Pubblicazione: (2026)

Explicit Weakening
di: Wadler, Philip
Pubblicazione: (2024)

Well-Scoped Locally Nameless Representation of Syntax
di: Pitts, Andrew M.
Pubblicazione: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Verified VCG and Verified Compiler for Dafny
di: Nezamabadi, Daniel, et al.
Pubblicazione: (2025)

A Graded Modal Type Theory for Pulse Schedules
di: Adams, Robin, et al.
Pubblicazione: (2025)

Formal Verification of COO to CSR Sparse Matrix Conversion (Invited Paper)
di: Appel, Andrew W.
Pubblicazione: (2025)

Constrained LTL Specification Learning from Examples
di: Zhang, Changjian, et al.
Pubblicazione: (2024)

Gradual C0: Symbolic Execution for Gradual Verification
di: DiVincenzo, Jenna, et al.
Pubblicazione: (2022)

What does it take to certify a conversion checker?
di: Lennon-Bertrand, Meven
Pubblicazione: (2025)

Space-time process algebra with asynchronous communication
di: Bergstra, J. A., et al.
Pubblicazione: (2024)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
di: Chiari, Michele, et al.
Pubblicazione: (2024)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
di: Reinhard, Tobias
Pubblicazione: (2024)

Verification of E-Voting Algorithms in Dafny
di: Büttner, Robert, et al.
Pubblicazione: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
di: Sextl, Florian, et al.
Pubblicazione: (2023)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
di: Esen, Zafer, et al.
Pubblicazione: (2025)

Automatic Function Annotations for Hoare Logic
di: Matichuk, Danielle
Pubblicazione: (2012)

Embedding Differential Dynamic Logic in PVS
di: Slagel, J. Tanner, et al.
Pubblicazione: (2024)

Monitoring Hyperproperties over Observed and Constructed Traces
di: Chalupa, Marek, et al.
Pubblicazione: (2025)

Definitional Functoriality for Dependent (Sub)Types -- Extended version
di: Laurent, Théo, et al.
Pubblicazione: (2023)

Genericity Through Stratification
di: Arrial, Victor, et al.
Pubblicazione: (2024)

AdapTT: Functoriality for Dependent Type Casts
di: Adjedj, Arthur, et al.
Pubblicazione: (2025)

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
di: Waldinger, Richard
Pubblicazione: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

Bisimilarity and Simulatability of Processes Parameterized by Join Interactions
di: Grabmayer, Clemens, et al.
Pubblicazione: (2025)

Multisets and Distributions
di: Kozen, Dexter, et al.
Pubblicazione: (2023)