Typing Liveness in Multiparty Communicating Systems.

Luca Padovani Vasco Thudichum Vasconcelos Hugo Torres Vieira

Published in: COORDINATION (2014)

Keyphrases

multi party
management system
distributed systems
information systems
intelligent systems
complex systems
expert systems
software engineering
computer systems
orders of magnitude