Skip to content

atomgardner/rst1991

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 

Repository files navigation

MODULE TheCSystem implements 'the C system', a causal unicast protocol, described
in

        Michel Raynal, Andre Schiper, and Sam Toueg.
        The causal ordering abstraction and a simple way to implement it.
        Information Processing Letters, 39(6):343–350, September 1991.

We also repair a minor bug in the paper: if a process delivers a self-addressed
message, the process eventually becomes unable to deliver messages.

To generate runs:

	% java -jar /usr/share/java/tla-toolbox/tla2tools.jar TheCSystem.tla

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages