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. |
PPDP |
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. |
PPDP |
2020 |
DBLP DOI BibTeX RDF |
|
16 | Franco Barbanera, Ugo de'Liguoro |
Sub-behaviour relations for session-based client/server systems. |
Math. Struct. Comput. Sci. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Jonathan Mwaura, Ed Keedwell |
Evolving robot sub-behaviour modules using Gene Expression Programming. |
Genet. Program. Evolvable Mach. |
2015 |
DBLP DOI BibTeX RDF |
|
16 | Franco Barbanera, Ugo de'Liguoro |
Loosening the notions of compliance and sub-behaviour in client/server systems. |
ICE |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #5 of 5 (100 per page; Change: )
|