Publications

Concurrent Kleene Algebra: Free Model and Completeness

AuthID
P-00N-68E

Author(s)

Kappé, T

Brunet, P

Silva, A

Zanasi, F

Editor(s)

Ahmed,A

Document Type

Proceedings Paper

Year published

2018

Published

in Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings in Lecture Notes in Computer Science, ISSN: 03029743

Volume: 10801, Pages: 856-882 (26)

Indexing