Editorial: Tribute to Anna Labella

DOI10.1016/J.JLAMP.2021.100663MaRDI QIDQ2043797zbMATH OpenOpenAlexFDO

Authors

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

Mathematics Subject Classification ID

Festschriften (00B30)

Cites work

• Conflict vs causality in event structures
• On checking equivalence of simulation scripts
• On the group memory complexity of extended finite automata over groups
• Replacement freeness: a criterion for separating process calculi
• Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations

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)