↧
Image may be NSFW.
Clik here to view.
Clik here to view.
State Machines and Computation
Abstract The goal of this post is to start developing the metamodel of computing, i.e. when you write an algorithm, or any piece of code, what the foundamental elements that you need to build and...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
STAR-based Component Model with TLA+ semantics
It has been a while since I have provided an update to the Chorus.js project. I have been working on strengthening its foundation using the STAR conceptual framework. As it stands, Chorus.js’...
View Article
Image may be NSFW.
Clik here to view.
Clik here to view.
Introducing SAM – the State-Action-Model Pattern
In the last six month I went on a journey that started with a discussion with Dr. Lamport on the semantics of TLA+ and continued with the realization of how significant and innovative the Facebook’s...
View Article