Protocol Conformance with Choreographic PlusCal.

Darius Foo Andreea Costea Wei-Ngan Chin

Published in: TASE (2023)

Keyphrases

protocol specification
lightweight
communication protocol
real time
database
network protocols
group communication
communication protocols
application layer
authentication protocol
file transfer
tcp ip
public key
low cost
response time
database systems
search engine
learning algorithm
genetic algorithm
neural network