On decidability of concurrent Kleene algebra

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484

Abstract

Metadata

Authors/Creators:
  • Brunet, P.
  • Pous, D.
  • Struth, G.
Copyright, Publisher and Additional Information: © 2017 Paul Brunet, Damien Pous, and Georg Struth; licensed under Creative Commons License CC-BY (https://creativecommons.org/licenses/by/3.0/).
Keywords: Concurrent Kleene algebra; series-parallel pomsets; Petri nets
Dates:
  • Published (online): 1 August 2017
  • Published: 1 August 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 03 Oct 2018 15:09
Last Modified: 03 Oct 2018 15:09
Published Version: https://doi.org/10.4230/LIPIcs.CONCUR.2017.28
Status: Published
Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Refereed: Yes
Identification Number: https://doi.org/10.4230/LIPIcs.CONCUR.2017.28

Export

Statistics