@inproceedings{conf/birthday/CianciaFPT08, title = {History Dependent Automata for Service Compatibility.}, author = {Vincenzo Ciancia and Gian-Luigi Ferrari and Marco Pistore and Emilio Tuosto}, booktitle = {Concurrency, Graphs and Models}, crossref = {conf/birthday/2008montanari}, editor = {Pierpaolo Degano and Rocco De Nicola and José Meseguer}, pages = {625-641}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/birthday/montanari2008.html#CianciaFPT08}, volume = {5065}, year = {2008}, biburl = {http://www.bibsonomy.org/bibtex/2f4a326ef0a11535c27b6e7830d3508a6/dblp}, description = {dblp}, date = {2008-06-16}, ee = {http://dx.doi.org/10.1007/978-3-540-68679-8_39}, isbn = {978-3-540-68676-7}, keywords = {dblp } }