Choreographic programming: Difference between revisions

Content deleted Content added
Citation bot (talk | contribs)
Alter: chapter-url. URLs might have been anonymized. Add: arxiv, s2cid, hdl, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 253/2500
Line 24:
Client.(credentials, serviceID) -> CAS.authRequest
if CAS.check(authRequest) then
CAS.token = genToken(authRequest)
CAS.Success(token) -> Client.result
CAS.Success(token) -> Service.result
else
CAS.Failure -> Client.result
CAS.Failure -> Service.result
</syntaxhighlight>
 
Line 59:
recv authRequest from Client
if check(authRequest) then
token = genToken(authRequest)
send Success(token) to Client
send Success(token) to Service
else
send Failure to Client
send Failure to Service
</syntaxhighlight>
|}