Balancing the EULISP Metaobject Protocol.

Harry Bretthauer Jürgen Kopp Harley Davis Keith Playford

Published in: LISP Symb. Comput. (1993)

Keyphrases

lightweight
formal analysis
cryptographic protocols
network protocols
protocol specification
multi agent
key exchange protocol
database
application layer
multiple access
coloured petri nets