Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
67 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 155-164, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
behavioural semantics, client/server interaction, semantics of subtyping, sub-behaviour, coinduction, session types |
16 | Franco Barbanera, Ugo de'Liguoro |
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, Bologna, Italy, 9-10 September, 2020, pp. 2:1-2:3, 2020, ACM, 978-1-4503-8821-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Franco Barbanera, Ugo de'Liguoro |
Sub-behaviour relations for session-based client/server systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 25(6), pp. 1339-1381, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Mwaura, Ed Keedwell |
Evolving robot sub-behaviour modules using Gene Expression Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Genet. Program. Evolvable Mach. ![In: Genet. Program. Evolvable Mach. 16(2), pp. 95-131, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Franco Barbanera, Ugo de'Liguoro |
Loosening the notions of compliance and sub-behaviour in client/server systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014., pp. 94-110, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|