Skip to content
STIMSMITH

Isla ISA Semantics Tool

Tool
First seen 7/3/2026
Last seen 7/3/2026
Evidence 1 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

3 connections
ISA Semantics implements → 97% 1e
Isla is a tool for working with full-scale ISA semantics.
Axiomatic Concurrency Model uses → 97% 1e
Isla integrates ISA semantics with axiomatic concurrency models.
Isla: Integrating Full-Scale ISA Semantics and Axiomatic Concurrency Models (armstrong:cav:2021) ← introduces 97% 1e
The paper introduces Isla, the ISA semantics tool integrating axiomatic concurrency models.