"Writing is nothing more than a guided dream."
Home
Blog
Notes
Resume
BlogRoll
Calculus of Communicating Systems
References:
Backlinks:
Promela