Christian Kant

According to our database, Christian Kant authored at least 2 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1996

Deriving Protocol Specifications from Service Specifications Written in LOTOS.

Christian Kant, Teruo Higashino, Gregor von Bochmann

Distributed Comput., 1996

1989

New Results on Deriving Protocol Specifications from Service Specifications.

Ferhat Khendek, Gregor von Bochmann, Christian Kant

Proceedings of the ACM Symposium on Communications Architectures & Protocols, 1989