A modal logic for a subclass of event structures. (English) Zbl 0643.68026

Lodaya, K.; Thiagarajan, P. S.

Automata, languages and programming, Proc. 14th Int. Colloq., Karlsruhe/FRG 1987, Lect. Notes Comput. Sci. 267, 290-303 (1987).

For the entire collection see Zbl 0616.00013.

MSC:

68N25	Theory of operating systems
03B45	Modal logic (including the logic of norms)

Keywords:

temporal logic; distributed programs; concurrency; event structures

Citations:

Zbl 0616.00013