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)
  

Yoshida, Nobuko

• Graph Types for Monadic Mobile Processes
  Nobuko Yoshida
  LFCS report ECS-LFCS-96-350