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