A CLOS Protocol for Editor Buffers.

Published in: ELS (2016)

Keyphrases

lightweight
coloured petri nets
tcp ip
mobile devices
formal analysis
authentication protocol
database
real time
databases
low cost
production system
communication protocol
group communication