Computers & Chemical Engineering · 1990 · 263 citations · 5 references
Process CalculusEngineeringFormal MethodsProcess ControlSystems EngineeringBusinessProcess SpecificationFormal Representation FrameworkProcess Mining
5
Towards a general theory of action and time
James F. Allen · Artificial Intelligence · 1984 · 2.6K citations
Temporal Dynamic, Action (Philosophy), Temporal Complexity +2
Benjamin Kuipers · Artificial Intelligence · 1986 · 1.4K citations
Computer aided plant operation
Eiji O’Shima · Computers & Chemical Engineering · 1983 · 16 citations