What’s a linked list? Let V be a set of values and A be a set of “addresses”. Say a map f is a “linked
Read moreinformal methods applied to networks and timeouts
Distributed computation involves many interesting issues concerning shared data. Here I want to sketch out what networks look like using applied (informal) mathematics so we
Read moreSorting and groups
I can’t find much reference to this in the literature (see Maus for some hints and an interesting paper) , but surely people have looked
Read moreBasic math for basic algorithms
It’s odd that all the descriptions of basic programming operations, such as sorting, rely on pseudo code or complex formal logic. All we are doing
Read morecircularity problems in distributed consensus
Distributed consensus involves organizing a collection of independent agents – processes or network sites – to agree on some value or sequence of values. Many
Read morestate equations in practice
When people think of mathematical models of state for programs and other computer systems, it’s natural and conventional to consider state as a map
Read moreState equations
Download paper. Unable to display
Read moreOperations and maps on finite sequences
A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length
Read moreProcess algebra is based on a misunderstanding of automata theory
See the current pdf in Arxiv Robin Milner’s book Communication and Concurrency involves a take on state machines that is fundamentally incorrect. “Now in standard
Read more