Original language | English |
---|---|
Pages (from-to) | 569-579 |
Number of pages | 11 |
Journal | Formal Aspects of Computing |
Volume | 6 |
Issue number | 5 |
DOIs | |
Publication status | Published (VoR) - Sept 1994 |
Keywords
- CICS
- Distributed systems
- Formal specification
- Resource management
- Transaction processing
- Z