Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
History Dependent Automata for Service Compatibility @ARTICLE{1424968, title = {{History Dependent Automata for Service Compatibility}}, author = {{Vincenzo} {Ciancia} and {Gian-Luigi} {Ferrari} and {Marco} {Pistore} and {Emilio} {Tuosto}}, journal = {Lecture Notes in Computer Science - P. Degano and R. De Nicola and J. Meseguer, editors - Festschrift for Ugo Montanari}, pages = {625-641}, abstract = {Informally speaking, service requests are modelled as pairs of HD-Automata $\langle{C_o,C_r}\rangle$; C r describes the (abstract) behaviour of the searched service and C o the (abstract) behaviour guaranteed by the invoker. Symmetrically, service publication consists of a pair of HD-Automata $\langle{S_o,S_r}\rangle$ such that S o provides an (abstraction of) of the behaviour guaranteed by the service and S r yields the requirement imposed to invokers. An invocation $\langle{C_o,C_r}\rangle$ matches a published interface $\langle{S_o,S_r}\rangle$ when C o simulates S r and S o simulates C r .
}, publisher = {Springer-Verlag}, volume = {5065}, year = {2008}, url = {http://www.libreka.de/bookviewer/9783540686767/637?imagepage=#X2ludGVybmFsX1ByaW50RmlkZWxpdHk/eG1saWQ9OTc4MzU0MDY4Njc2Ny82MzcmaW1hZ2VwYWdlPTYzNw==}, address = {Berlin}, doi = {http://dx.doi.org/10.1007/978-3-540-68679-8_39}, isbn = {978-3-540-68676-7}, }
|