"Interface Automata for Choreographies."

Hao Zeng, Alexander Kurz, Emilio Tuosto (2019)

Details and statistics

DOI: 10.4204/EPTCS.304.1

access: open

type: Conference or Workshop Paper

metadata version: 2024-09-02