The PEPA eclipse plugin

M Tribastone, A. D., & Gilmore, S. (2009). The PEPA eclipse plugin. ACM.

Type

Unclassified

Intellectual base

Unclassified

Year

2009

DOI

10.1145/1530873.1530880

Link

https://doi.org/10.1145/1530873.1530880

Cited by

1 citation across 1 artifact.

Domain-specific

• PEPA
  • … activity names and exponential rates, passive-rate convention, cooperation sets, hiding, operational semantics, state-space generation, CTMC mapping and performance measure are explicit. to An applied instance preserves the same invariant under changed scale, notation, dataset, jurisdiction, or implementation..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:6ae21868fd21 · see in the full table