Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers (WADT 2024 - Research papers)

Who

Lorenzo Ceragioli, Giuseppe Lomurno, Gabriele Tedeschi

Track

WADT 2024 Research papers

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Mon 8 Jul 2024 14:30 - 15:00 at Waaier 3 - WADT Keynote Session 2 Chair(s): Uwe Wolter

Abstract

We investigate the application of schedulers to communicating quantum systems, showing that “physically admissible” schedulers allow us to define behavioural equivalences that respect the properties of quantum theory.

File attachments

Extended abstract (Reconciling Quantum Theory and Bisimilarity via Physically Admissible Schedulers.pdf)	177KiB

Lorenzo Ceragioli

IMT School for Advanced Studies

Italy

Giuseppe Lomurno

University of Pisa

Italy

Gabriele TedeschiPresenter

University of Pisa

Italy

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 8 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:00	WADT Keynote Session 2Research papers / STAF Keynotes at Waaier 3 Chair(s): Uwe Wolter University of Bergen

13:30 30m Keynote		WADT Keynote 2 - Conditional Equational Logic of Common Meadows STAF Keynotes K: Jan Bergstra University of Amsterdam
14:00 30m Talk		Categories of Algebraic Rewrite Rules Research papers P: Thierry Boy de La Tour CNRS and University Grenoble Alpes File Attached
14:30 30m Talk		Reconciling Quantum Theory and Process Calculi via Physically Admissible Schedulers Research papers Lorenzo Ceragioli IMT School for Advanced Studies, Giuseppe Lomurno University of Pisa, P: Gabriele Tedeschi University of Pisa File Attached