Login / Signup
A CLOS Protocol for Editor Buffers.
Robert Strandh
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