Regulating data exchange in service oriented applications
Lapadula, Alessandro, Pugliese, Rosario, Tiezzi, Francesco
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Towards Smart Systems of Systems
Giese, Holger, Vogel, Thomas, Wätzoldt, Sebastian
Published in Fundamentals of Software Engineering (2015)
Published in Fundamentals of Software Engineering (2015)
Get full text
Book Chapter
A Behavioural Theory for a π-calculus with Preorders
Hirschkoff, Daniel, Madiot, Jean-Marie, Xu, Xian
Published in Fundamentals of Software Engineering (2015)
Published in Fundamentals of Software Engineering (2015)
Get full text
Book Chapter
A model of component-based programming
Chen, Xin, He, Jifeng, Liu, Zhiming, Zhan, Naijun
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding
Lending Petri Nets and Contracts
Bartoletti, Massimo, Cimoli, Tiziana, Pinna, G. Michele
Published in Fundamentals of Software Engineering (2013)
Published in Fundamentals of Software Engineering (2013)
Get full text
Book Chapter
A behavioural congruence for web services
Bonchi, Filippo, Brogi, Antonio, Corfini, Sara, Gadducci, Fabio
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Published in Proceedings of the 2007 international conference on Fundamentals of software engineering (17.04.2007)
Get full text
Conference Proceeding