If you made any changes in Pure these will be visible here soon.
Filter
Book chapter

Search results

  • 2016

    Choreographies in Practice

    Cruz-Filipe, L. & Montesi, F., 2016, Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Albert, E. & Lanese, I. (eds.). Springer, p. 114-123 (Lecture Notes in Computer Science, Vol. 9688).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  • 2015

    Design Patterns for Description-logic Programs

    Cruz-Filipe, L., Gaspar, G. & Nunes, I., 2015, Knowledge Discovery, Knowledge Engineering and Knowledge Management: 5th International Joint Conference, IC3K 2013, Vilamoura, Portugal, September 19-22, 2013. Revised Selected Papers. Fred, A., Dietz, J. L. G., Liu, K. & Filipe, J. (eds.). Springer, p. 199-214 (Communications in Computer and Information Science, Vol. 454).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review