Axiomatic-like performance analysis (ALPA)
From MaRDI portal
Publication:1324358
DOI10.1016/0898-1221(93)90026-RzbMath0805.68082MaRDI QIDQ1324358
Publication date: 26 January 1995
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
68M20: Performance evaluation, queueing, and scheduling in the context of computer systems
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An axiomatic treatment of SIMD assignment
- Array processing machines: an abstract model
- Guarded commands, nondeterminacy and formal derivation of programs
- An exercise in proving parallel programs correct
- Communicating sequential processes
- Program structures for parallel processing
- An axiomatic basis for computer programming
- Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi