January 2006
The TLA Tools Project
by GeorgesMariano
The goal of this project is to develop methods and tools that will permit engineers to apply formal specification and verification to high-level designs of concurrent algorithms and systems. We believe this can significantly improve the design process
November 2005
May 2005
Learning more on Fundamental Art
by AkoZ°om
Yep it's on course, it's for some explanation on F-A. Let's it grow next , but any suggestions are welcomed, just try and keep it alive , that's the way for a next psycho-art ? abstract ? direct living art ?
