Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 7.
Article
| Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4). pp. 433-463. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-010-0166-z) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bocchi, Laura and Fiadeiro, José Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.09.025) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| Azmat, Freeha and Bocchi, Laura and Fiadeiro, José Luiz (2011) Early Model-Analysis of Logistics Systems. In: Service-Oriented Computing. ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG. Lecture Notes in Computer Science, 6568. Springer pp. 225-236. ISBN 978-3-642-19393-4. E-ISBN 978-3-642-19394-1. (doi:https://doi.org/10.1007/978-3-642-19394-1_25) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bocchi, Laura and Hong, Yi and Lopes, Antónia and Fiadeiro, José Luiz (2008) From BPEL to SRML: A Formal Transformational Approach. In: Web Services and Formal Methods. 4th International Workshop, WS-FM 2007 Proceedings. Lecture Notes in Computer Science, 4937. Springer pp. 92-107. ISBN 978-3-540-79229-1. E-ISBN 978-3-540-79230-7. (doi:https://doi.org/10.1007/978-3-540-79230-7_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Bocchi, Laura and Fiadeiro, José Luiz and Lopes, Antónia (2008) Service-Oriented Modelling of Automotive Systems. In: Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International. IEEE Computer Society pp. 1059-1064. ISBN 978-0-7695-3262-2. (doi:https://doi.org/10.1109/COMPSAC.2008.228) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Abreu, João and Bocchi, Laura and Fiadeiro, José Luiz and Lopes, Antónia (2007) Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture Notes in Computer Science, 4574. Springer pp. 358-373. ISBN 978-3-540-73195-5. E-ISBN 978-3-540-73196-2. (doi:https://doi.org/10.1007/978-3-540-73196-2_23) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
| Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura (2006) A Formal Approach to Service Component Architecture. In: Web Services and Formal Methods. Third International Workshop, WS-FM 2006 Proceedings. Lecture Notes in Computer Science, 4184. Springer pp. 193-213. ISBN 978-3-540-38862-3. E-ISBN 978-3-540-38865-4. (doi:https://doi.org/10.1007/11841197_13) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
