International Conference on Concurrency Theory container_iv4yo5vao5ctfjfushi4akt5xi

Homepage URLs

https://link.springer.com/conference/concur

Example Publications

On the Axiomatisability of Parallel Composition: A Journey in the Spectrum

Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir, Bas Luttik, Mathias Ruggaard Pedersen, Laura Kovács, Igor Konnov
2020 | International Conference on Concurrency Theory
doi:10.4230/lipics.concur.2020.18   dblp:conf/concur/AcetoCILP20  

Reachability in Fixed Dimension Vector Addition Systems with States

Wojciech Czerwiński, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki, Laura Kovács, Igor Konnov
2020 | International Conference on Concurrency Theory
doi:10.4230/lipics.concur.2020.48   dblp:conf/concur/Czerwinski0LLM20  
314
Known Releases
Preservation Summary [more]
182 preserved and accessble (bright)
0 preserved, inaccessible (dark)
132 no known preservation
Release Types
article-journal 243
chapter 71
Publication Type  conference-series
Wikidata  Q65119044
dblp  conf/concur
Directory Listings
Not in DOAJ
Lookup Links
Catalog Record
Revision: 87ea3440-a98c-46b4-9f8d-b09521aead05
API URL: JSON