Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955866411> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2955866411 abstract "We present a research trajectory of the authors and colleagues dealing with the correctness and meaningful composition of software components, trajectory that incrementally traverses successive paradigms and approaches: open distributed processing, contract based reasoning, behavioural typing and session types. This research is grounded on the foundational work of Robin Milner on processes and observation equivalence, and the followup work by De Nicola and Hennessy on testing relations. Indeed, these initial works have set benchmarks that define the meaning of behaviour, which has fostered a full body of research in concurrency and verification. Behavioural typing is one of the avenues opened by these early contributions. This paper is a brief and staged report of the research accomplished by the authors and colleagues, presented in chronological order, starting with their work on the computational model of open distributed processing and ending at their latest work on sessions for web services." @default.
- W2955866411 created "2019-07-12" @default.
- W2955866411 creator A5034444117 @default.
- W2955866411 creator A5036998619 @default.
- W2955866411 creator A5084211673 @default.
- W2955866411 date "2019-01-01" @default.
- W2955866411 modified "2023-10-16" @default.
- W2955866411 title "From Behavioural Contracts to Session Types" @default.
- W2955866411 cites W120480712 @default.
- W2955866411 cites W146875802 @default.
- W2955866411 cites W1484534662 @default.
- W2955866411 cites W1492982544 @default.
- W2955866411 cites W1502451640 @default.
- W2955866411 cites W1511544530 @default.
- W2955866411 cites W1528588771 @default.
- W2955866411 cites W1530882603 @default.
- W2955866411 cites W1535774177 @default.
- W2955866411 cites W1552811249 @default.
- W2955866411 cites W155738974 @default.
- W2955866411 cites W1565645576 @default.
- W2955866411 cites W1572319298 @default.
- W2955866411 cites W1573278591 @default.
- W2955866411 cites W1606143923 @default.
- W2955866411 cites W1673934254 @default.
- W2955866411 cites W1762942482 @default.
- W2955866411 cites W1796713582 @default.
- W2955866411 cites W194258645 @default.
- W2955866411 cites W1967853162 @default.
- W2955866411 cites W1976195354 @default.
- W2955866411 cites W1983450250 @default.
- W2955866411 cites W1983469424 @default.
- W2955866411 cites W2013672985 @default.
- W2955866411 cites W2021908566 @default.
- W2955866411 cites W2034870916 @default.
- W2955866411 cites W2062555630 @default.
- W2955866411 cites W2069353351 @default.
- W2955866411 cites W2076815910 @default.
- W2955866411 cites W2087663894 @default.
- W2955866411 cites W2088962847 @default.
- W2955866411 cites W2108416191 @default.
- W2955866411 cites W2123727486 @default.
- W2955866411 cites W2128932399 @default.
- W2955866411 cites W2139357717 @default.
- W2955866411 cites W2142988323 @default.
- W2955866411 cites W2157144873 @default.
- W2955866411 cites W2158422857 @default.
- W2955866411 cites W2161353020 @default.
- W2955866411 cites W2162282992 @default.
- W2955866411 cites W2167928477 @default.
- W2955866411 cites W2293400264 @default.
- W2955866411 cites W2329205359 @default.
- W2955866411 cites W2912003593 @default.
- W2955866411 cites W3008328790 @default.
- W2955866411 cites W4244728546 @default.
- W2955866411 cites W4294621147 @default.
- W2955866411 cites W54273311 @default.
- W2955866411 doi "https://doi.org/10.1007/978-3-030-21485-2_16" @default.
- W2955866411 hasPublicationYear "2019" @default.
- W2955866411 type Work @default.
- W2955866411 sameAs 2955866411 @default.
- W2955866411 citedByCount "0" @default.
- W2955866411 crossrefType "book-chapter" @default.
- W2955866411 hasAuthorship W2955866411A5034444117 @default.
- W2955866411 hasAuthorship W2955866411A5036998619 @default.
- W2955866411 hasAuthorship W2955866411A5084211673 @default.
- W2955866411 hasConcept C136764020 @default.
- W2955866411 hasConcept C2779182362 @default.
- W2955866411 hasConcept C41008148 @default.
- W2955866411 hasConceptScore W2955866411C136764020 @default.
- W2955866411 hasConceptScore W2955866411C2779182362 @default.
- W2955866411 hasConceptScore W2955866411C41008148 @default.
- W2955866411 hasLocation W29558664111 @default.
- W2955866411 hasLocation W29558664112 @default.
- W2955866411 hasLocation W29558664113 @default.
- W2955866411 hasLocation W29558664114 @default.
- W2955866411 hasOpenAccess W2955866411 @default.
- W2955866411 hasPrimaryLocation W29558664111 @default.
- W2955866411 hasRelatedWork W2748952813 @default.
- W2955866411 hasRelatedWork W2899084033 @default.
- W2955866411 hasRelatedWork W3012257603 @default.
- W2955866411 hasRelatedWork W3138244192 @default.
- W2955866411 hasRelatedWork W3177475962 @default.
- W2955866411 hasRelatedWork W4230197055 @default.
- W2955866411 hasRelatedWork W4292264782 @default.
- W2955866411 hasRelatedWork W4296749040 @default.
- W2955866411 hasRelatedWork W621808327 @default.
- W2955866411 hasRelatedWork W644007644 @default.
- W2955866411 isParatext "false" @default.
- W2955866411 isRetracted "false" @default.
- W2955866411 magId "2955866411" @default.
- W2955866411 workType "book-chapter" @default.