Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.

Carlos Canal Lidia Fuentes José M. Troya Antonio Vallecillo

Published in: TOOLS (33) (2000)

Keyphrases

lightweight
distributed systems
user interface
object management
object oriented
authentication protocol
cryptographic protocols
network protocols
software development
formal analysis
security protocols
natural deduction
computer algebra
coloured petri nets