Scholar

Laura Bocchi

Google Scholar ID: R_QSej4AAAAJ

University of Kent

ConcurrencyService Oriented ComputingBehavioural Types

Google Scholar↗

Citations & Impact

All-time

Citations

1,720

H-index

21

i10-index

35

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

2 items

Mixed Choice in Asynchronous Multiparty Session Types

2026

Cited

0

Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

2024

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)