Murakami Lab.

Logic of Computation, Theory of Programming

Current Research

• Theory of Concurrnecy based on Process Algebra and Linear Logic
• Program Transformation of Concurrent Programs
• Formal Models of Concurrent/Distributed Systems

• English Page
• Japanese Page

Publications

2004 Jan.