A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results

Open in new window