A formal description of monitors by CCS.

Shoji Yuen Toshiki Sakabe Yasuyoshi Inagaki

Published in: Systems and Computers in Japan (1992)

Keyphrases

formal specification
databases
information systems
open source
knowledge base
database systems
software systems