Jens Aagaard

According to our database, Jens Aagaard authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Context-Free Session Types for Applied Pi-Calculus.

Jens Aagaard, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018