Choreographies and behavioural contracts on the way to dynamic updates / Bravetti, M.; Zavattaro, G.. - In: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE. - ISSN 2075-2180. - ELETTRONICO. - 168:(2014), pp. 12-31. (Intervento presentato al convegno First Workshop on Logics and Model-checking for Self-*Systems, MOD* 2014 tenutosi a Bertinoro, Italy nel 12th September 2014) [10.4204/EPTCS.168.2].
Choreographies and behavioural contracts on the way to dynamic updates
BRAVETTI, MARIO;ZAVATTARO, GIANLUIGI
2014
File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.