For the most recent entries see the Petri Nets Newsletter.

A Modal Logic for a Subclass of Event Structures.

Lodaya, K.; Thiagarajan, P.S.

Aarhus University, Computer Science Department, DAIMI PB-220, January 1987.

Also in: Ottmann, T.: Lecture Notes in Computer Science, Vol. 267: Automata, Languages and Programming, pages 290-303. Springer-Verlag, 1987.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography