search

ahartmanns / qcomp

qcomp.org – Quantitative Model Repository and Tool Comparison
http://qcomp.org/
6 stars 7 forks source link

DTMC egl: Fix source #61

Open remco1112 opened 4 years ago

remco1112 commented 4 years ago

Currently, the source for the egl model is the paper introducing the protocol. This PR corrects this to the paper about the model of the protocol.

remco1112 commented 4 years ago

Additionally, the property descriptions have been improved as the old description was hard to read.

davexparker commented 4 years ago

Hi @remco1112. The descriptions for messagesA and messagesB indeed had typos. But the proposed commit changes the meaning. Here are some better descriptions:

messagesA: "The expected number of messages from B that A needs in order to know a pair once B knows a pair."

messagesB: "The expected number of messages from B that A needs in order to know a pair once B knows a pair."

Also, the same comments appear in the egl.props file and could be changed there too.