swMATH8423MaRDI QIDQ20432FDOQ20432
Author name not available (Why is that?)
Official website: http://rd.springer.com/chapter/10.1007/978-3-642-22944-2_28
Cited In (35)
- 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
- Maude
- A probabilistic strategy language for probabilistic rewrite theories and its application to cloud computing
- MMT
- VESTA
- MultiVeStA
- PMaude
- PAGODA
- COSTABS
- MFE
- ITP
- DDebugger
- Dist-Orc
- MOMENT2
- InvA
- PSMaude
- iCanCloud
- MODIST
- vlogsl
- PLASMA
- AADL
- SymPLFIED
- Java+ITP
- FatTire
- 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
