Choo, Young-il

CaltechTHESIS

• PHD (1987) Logic from Programming Language Semantics; 10.7907/r9hf-1b88
• MS (1982) Hierarchical Nets: A Structured Petri Net Approach to Concurrency; 10.7907/t5w4-vt07

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Phd HTML, HTML Include, BibTeX, JSON, RSS
• Masters HTML, HTML Include, BibTeX, JSON, RSS