List of Import References :
See BOOL
See Char
See Com
See DENOTATION
See Denotation
See FileSystem
See Nat
See Option
See ProcessCtrl
See Quadruple
See Real
See Seq
See Set
See String
See Time
See UserAndGroup
See Void
SIGNATURE ProcessCtrlConv
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
IMPORT
ProcessCtrl ONLY process: SORT procstat: SORT fission: SORT
FUN ` : process -> denotation
-- numerical output
FUN ` : procstat -> denotation
-- SUCCESS / FAILURE
FUN ` : fission -> denotation
-- PARENT(CHILD: ...) / CHILD
next node: ProcessCtrlFun,
prev node: FileSystemFun,
up to node: Subsystem Unix