Concurrency, Graphs and Models: Essays Dedicated to Ugo ...
Preview
618 Gian-Luigi Ferrari History Dependent Automata for Service Compatibility ....... ........ 625 Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, and Emilio Tuosto A Type System for Client Progress in a Service-Oriented Calculus...... 642 Lucia ...