Protocol-free asynchronous iterations termination.

Guillaume Gbikpi Benissan Frédéric Magoulès

Published in: Adv. Eng. Softw. (2020)

Keyphrases

state machines
lightweight
network protocols
formal analysis
communication protocol
cryptographic protocols
authentication protocol
communication protocols
database
real time
genetic algorithm
multi agent
petri net
rewrite systems
asynchronous cellular automata