Specification of information systems operations in INFOMOD

Hoare, 1978, Communicating sequential processes, Comm. ACM, 21, 666, 10.1145/359576.359585 Jardine, 1987, A logic-based information modelling language, Data and Knowledge Engrg., 2, 59, 10.1016/0169-023X(87)90009-7 Lamport, 1978, Time, clocks, and the ordering of events in a distributed system, Comm. ACM, 2, 558, 10.1145/359545.359563 Schneider, 1982, Synchronization in distributed programs, ACM Trans. Progrrmming Languages and Systems, 4, 125, 10.1145/357162.357163 Tarski, 1936, Der Wahrheitsbegriff in den formalisieren Sprachen, Studia Philos., 1, 261 Tarski, 1983, The concept of truth in formalized languages