LFCS reports by Author: Y
- Yong, Sun
-
- Equations, dependent equations and quasi-dependent equations
-- on their unification
Sun Yong
LFCS report ECS-LFCS-89-93
- Equational Characterization of Binding (Extended
Abstract)
Sun Yong
LFCS report ECS-LFCS-89-94
- Logical Design of VLSI Circuit with Extension of Uncertainty
(or monotonic functional completeness of Kleene ternary
logic)
Sun Yong
LFCS report ECS-LFCS-89-95
- Self-independent Petri Nets (or a dead-lock-free
paradigm)
Sun Yong
LFCS report ECS-LFCS-89-98
- A Framework for Binding Operators
Sun Yong
LFCS report ECS-LFCS-92-207 (also published as CST-91-92)
- Equations, dependent equations and quasi-dependent equations
-- on their unification
- Yoshida, Nobuko
-
- Graph Types for Monadic Mobile Processes
Nobuko Yoshida
LFCS report ECS-LFCS-96-350
- Graph Types for Monadic Mobile Processes