1994 | OriginalPaper | Chapter
TLZ
Author : Leslie Lamport
Published in: Z User Workshop, Cambridge 1994
Publisher: Springer London
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
A Z schema can specify a functional system—one that produces an output in response to an input. For example, a simple text editor is a functional system; it can be specified by a Z schema that describes the effect of each keystroke on the screen. A reactive system interacts with its environment in a more complex fashion. Adding an interrupt key, which allows the user to stop a long operation before it completes, turns a simple text editor into a reactive system. Concurrent and distributed systems are usually best viewed as reactive systems. Z by itself is inadequate for specifying reactive systems.