View in EDS HTML Full Text PDF Full Text

Asynchronous session subtyping as communicating automata refinement.

Saved in:
Bibliographic Details
Title: Asynchronous session subtyping as communicating automata refinement.
Authors: Bravetti, Mario1, mario.bravetti@unibo.it, Zavattaro, Gianluigi1
Source: Software & Systems Modeling; Apr2021, Vol. 20 Issue 2, p311-333, 23p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:16191366
DOI:10.1007/s10270-020-00838-x