Artikel,

Modular Session Types for Objects

, , , und .
Logical Methods in Computer Science, (2015)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen