Editorial: Tribute to Anna Labella
From MaRDI portal
Publication:2043797
DOI10.1016/J.JLAMP.2021.100663zbMATH Open1466.00041OpenAlexW3133362639MaRDI QIDQ2043797FDOQ2043797
Author name not available (Why is that?)
Publication date: 3 August 2021
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2021.100663
Cites Work
- Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
- Conflict vs causality in event structures
- On checking equivalence of simulation scripts
- Replacement freeness: a criterion for separating process calculi
- On the group memory complexity of extended finite automata over groups
This page was built for publication: Editorial: Tribute to Anna Labella
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043797)
