In: Multi-User Interfaces and Applications. Proceedings of the IFIP WG 8.4 Conference, 1990, Heraklion, Greece, pages 49-59. Amsterdam, Netherlands: North-Holland, 1990.
Abstract: A formal method based on timed Petri nets is proposed for specifying the temporal relationships among entities in the multi-user interface. The nets so obtained can be analyzed by existing tools for desirable properties and then translated automatically into executable code.
Keywords: temporal properties specification (of) multi-user interface; timed net translation (into) executable code.