Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Fangyi Zhou 0002

周方易

> Home > Persons

Person information

unicode name: 周方易
affiliation: Imperial College London, UK

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/BarwellHY023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/BarwellHY023
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9(2): 09:1-09:3 (2023)
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/BarwellHY023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/BarwellHY023
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP 2023: 1:1-1:30
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-06238
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-06238
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR abs/2305.06238 (2023)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-11851
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-11851
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou:
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR abs/2311.11851 (2023)
2022
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/BarwellSY022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/BarwellSY022
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR 2022: 35:1-35:25
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2207-02015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2207-02015
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou:
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR abs/2207.02015 (2022)
2021
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/Miu0Y021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/Miu0Y021
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-safe web programming in TypeScript with routed multiparty session types. CC 2021: 94-106
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/fct/YoshidaZF21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fct/YoshidaZF21
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira:
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT 2021: 18-35
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-04622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-04622
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR abs/2101.04622 (2021)
2020
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/00020HNY20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/00020HNY20
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4(OOPSLA): 148:1-148:30 (2020)
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2004-01321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-01321
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou:
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS 2020: 12-22
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-06541
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06541
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida:
Statically Verified Refinements for Multiparty Protocols. CoRR abs/2009.06541 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.