The Cash-Point Service in NUT

Formal Aspects of Computing - Tập 12 - Trang 222-224 - 2000
Vahur Kotkas1, Peep Küngas1, Mait Harf1
1Software Department, Institute of Cybernetics, Tallinn Technical University, Tallinn, Estonia, , EE

Tóm tắt

This paper describes how the cash-point service can be modelled and simulated using the NUT system.

Thông tin
Thông tin xuất bản

Formal Aspects of Computing

Tập 12

222-224

Thông tin tác giả