Think Stitch
PRINCIPIA
Updates
Modeling
Sequential Compositions
The Uses of Sequential Compositions
Memo Processes
Dynamic Creation of Processes 1
Dynamic Creation of Processes 2
Dynamic Creation of Processes 3
Renaming Events and Channels
The Reuses of Processes by Renaming
The Reuses of Processes with Parameters
Abstraction by Renaming
Parallel Compositions as Constraints
Sharing Services by Interleaving Clients
Many-to-One Communication by Interleaving
Alphabetized Parallel Compositions
CSP
An Introduction to Communicating Sequential Processes (CSP)
Formal Proof of the Congruence Theorem between Operational Semantics and Denotational Semantics on Traces of CSP in Isabelle/HOL
Concurrent Programming Language based on CSP in Scheme
Another Neat Thing to Implement a Concurrent Programming Language in Scheme
Lisp & Scheme
A Scenario Checker dealing with Nondeterminism and State-Explosion
Isabelle
Formal Proof of the Congruence Theorem between Operational Semantics and Denotational Semantics on Traces of CSP in Isabelle/HOL
SyncStitch Internals
The Window System of SyncStitch
Electronics
Z80 minimum
MC6809 minimum
6502 minimum
© 2013,2014,2015 PRINCIPIA Limited