Skip to the content

@vy@mastodon.social

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Search for:

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Categories

archived state maps

State equations

Post author By vy
Post date August 4, 2016

Download paper.

← Cutting and pasting about Kodak’s demise → state equations in practice

Archives

Archives

Tags

apple automata big data C c language computer science c standard distributed consensus fault tolerance formal methods free software green computing innovation intellectual property linux manufacturing milner modularity non-determinism ntp operating systems patents paxos process algebra processor architecture ptp real-time recursion rtlinux software software engineering software patents software security specification state machines sun synchronization technology threads timekeeper timestamp time synchronization undefined behavior verification wg14

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Categories

academics
algebra
archived
auragen
business
c programming
C standard
computer architecture
current reading
economics
operating systems
programming languages
rtlinux
security
software business
software security
state maps
systems
theory
timekeeper
Uncategorized
vy papers

Search for:

Pages

Groundbreaking treatise on state machines, paxos, specification
The RTLinux patent 5,995,745
Notes on Security and Common Criteria
Download code

Archives

© 2026 keeping simple

Powered by WordPress

To the top ↑ Up ↑