protocol StandardPositive // for HSR variables HSR pi DecisionTree s step st1 Bob pi step st2 Alice s predicate pi s {{ Java }} protocol SecretNegative // in MAX-CSP competition variables CSPFormula pi step st1 Alice pi secret until st2 sA step st2 Bob sB predicate pi sA sB {{ Java }} protocol Renaissance // Tartaglia variables iA Instance iB Instance siA Solution siB Solution step st1 Alice secret until st2 iA step st2 Bob secret until st2 iB step st3 Alice secret until st4 siB step st4 Bob siA predicate iA iB siA siB {{ Java }}