Efficient linearizability checking for actor‐based systems
Article in Software Practice and Experience (August 2023)
The most recent citing publication is shown below. View this citation on Dimensions.
Quality Software Through Reuse and Integration
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP
-
Altmetric BadgeChapter 2 An Approach Transmutation-Based in Case-Based Reasoning
-
Altmetric BadgeChapter 3 Utilizing Semantic Techniques for Automatic Code Reuse in Software Repositories
-
Altmetric BadgeChapter 4 A Multi-strategy Approach for Ontology Reuse Through Matching and Integration Techniques
-
Altmetric BadgeChapter 5 Classifier Fusion by Judgers on Spark Clusters for Multimedia Big Data Classification
-
Altmetric BadgeChapter 6 Employing Graph Databases as a Standardization Model for Addressing Heterogeneity and Integration
-
Altmetric BadgeChapter 7 Modeling Terminologies for Reusability in Faceted Systems
-
Altmetric BadgeChapter 8 A Layered Approach to Specification Authoring, Sharing, and Usage
-
Altmetric BadgeChapter 9 FCL: A Formal Language for Writing Contracts
-
Altmetric BadgeChapter 10 Operational Semantics for the Rigorous Analysis of Distributed Systems
-
Altmetric BadgeChapter 11 BHive: Behavior-Driven Development Meets B-Method
-
Altmetric BadgeChapter 12 A Pre-processing Tool for Z2SAL to Broaden Support for Model Checking Z Specifications
-
Altmetric BadgeChapter 13 Reasoning About Temporal Faults Using an Activation Logic
Attention for Chapter 1:
On the Tractable Acquisition of Heuristics for Software Synthesis Demonstrating that P~NP