Diogenes

swMATH30238MaRDI QIDQ41952FDOQ41952

Author name not available (Why is that?)

Official website: https://rd.springer.com/chapter/10.1007/978-3-319-39570-8_4

Cited In (3)

• Input urgent semantics for asynchronous timed session types
• BetaSim
• Honesty by typing

This page was built for software: Diogenes