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
- Rewriting semantics of production rule sets
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Probabilistic Real-Time Rewrite Theories and Their Expressive Power
- Designing reliable distributed systems. A formal methods approach based on executable modeling in Maude
- On the accuracy of formal verification of selective defenses for TDoS attacks
- A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
- Statistical Model Checking for Composite Actor Systems
This page was built for software: PVeStA
