Stefan Jaax

Stefan Jaax
Are you Stefan Jaax?

Claim your profile, edit publications, add additional information:

Contact Details

Name
Stefan Jaax
Affiliation
Location

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