Stefan Jaax

Stefan Jaax
Are you Stefan Jaax?

Claim your profile, edit publications, add additional information:

Contact Details

Stefan Jaax

Pubs By Year

Pub Categories

Computer Science - Distributed; Parallel; and Cluster Computing (1)
Computer Science - Logic in Computer Science (1)

Publications Authored By Stefan Jaax

Population protocols are a well established model of computation by anonymous, identical finite state agents. A protocol is well-specified if from every initial configuration, all fair executions reach a common consensus. The central verification question for population protocols is the well-specification problem: deciding if a given protocol is well-specified. Read More