6 research outputs found
Fibred Coalgebraic Logic and Quantum Protocols
Motivated by applications in modelling quantum systems using coalgebraic
techniques, we introduce a fibred coalgebraic logic. Our approach extends the
conventional predicate lifting semantics with additional modalities relating
conditions on different fibres. As this fibred setting will typically involve
multiple signature functors, the logic incorporates a calculus of modalities
enabling the construction of new modalities using various composition
operations. We extend the semantics of coalgebraic logic to this setting, and
prove that this extension respects behavioural equivalence.
We show how properties of the semantics of modalities are preserved under
composition operations, and then apply the calculational aspect of our logic to
produce an expressive set of modalities for reasoning about quantum systems,
building these modalities up from simpler components. We then demonstrate how
these modalities can describe some standard quantum protocols. The novel
features of our logic are shown to allow for a uniform description of unitary
evolution, and support local reasoning such as "Alice's qubit satisfies
condition" as is common when discussing quantum protocols.Comment: In Proceedings QPL 2013, arXiv:1412.791
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019