𝕂

---

𝕂

Tag #𝕂

5 papers:

FM-2015-AlTurkiA #distributed #framework #towards #using #verification

Towards Formal Verification of Orchestration Computations Using the 𝕂 Framework (MAA, OA), pp. 40–56.

WRLA-2014-ZhangCO #framework #semantics #standard

A Formal Semantics of the OSEK/VDX Standard in 𝕂 Framework and Its Applications (MZ, YC, KO), pp. 280–296.

ICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics

A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.

WRLA-2012-LucanuSR #framework

𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.

WRLA-2010-AsavoaeA #abstraction #framework #semantics

Collecting Semantics under Predicate Abstraction in the 𝕂 Framework (IMA, MA), pp. 123–139.