×Login to SlideShare to download.
Personal Information
Organization / Workplace
Tokyo, Japan, Sumida Japan
Occupation
Web Application and Backend System Architect
Industry
Technology / Software / Internet
Website
hazm.at/mox
Tags
pluscal
tla+
formal verification
multiprocess
multithread
asynchronous system
distributed system
concurrent system
specification language
formal mehod
See more
- Presentations
- Documents
- Infographics