PVeStA
From MaRDI portal
Software:20432
swMATH8423MaRDI QIDQ20432FDOQ20432
Author name not available (Why is that?)
Cited In (13)
- The rewriting logic semantics project: a progress report
- Twenty years of rewriting logic
- Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
- Computing scores of forwarding schemes in switched networks with probabilistic faults
- Rewriting semantics of production rule sets
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude
- Probabilistic real-time rewrite theories and their expressive power
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- Integrating deployment architectures and resource consumption in timed object-oriented models
- On the accuracy of formal verification of selective defenses for TDoS attacks
- Statistical model checking for composite actor systems
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
This page was built for software: PVeStA
