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

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 16:30 - 17:00 at Waaier 3 - WADT Session 2 Chair(s): Thierry Boy de La Tour

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

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

15:30 - 17:30	WADT Session 2Research papers at Waaier 3 Chair(s): Thierry Boy de La Tour CNRS and University Grenoble Alpes

15:30 30m Talk		On the Algebra of Reactive Graphs Research papers David Tinoco University of Aveiro, P: Alexandre Madeira University of Aveiro, Manuel A. Martins University of Aveiro, José Proença CISTER & Faculty of Sciences, University of Porto File Attached
16:00 30m Talk		Formal Specification with Many-Logics Modal Logic Research papers Alfredo R. Freire University of Brası́lia, P: Manuel A. Martins University of Aveiro, Alexandre Madeira University of Aveiro File Attached
16: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
17:00 30m Talk		Topological Inquiry in Abstract Model Theory Research papers P: Asterios Gkantzounis National Technical University of Athens, Stefaneas Petros National Technical University of Athens File Attached