Struth, Georg

1. Probabilistic Rely-guarantee Calculus
   2014/09/01 by McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Completeness Theorems for Pomset Languages and Concurrent Kleene Algebras
   2017/05/16 by Laurence, Michael R, Struth, Georg · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
3. Higher Catoids, Higher Quantales and their Correspondences
   2023/07/18 by Cameron Calk, Calk, Cameron, Philippe Malbos +5 · 1 citation
   Chemistry · #History and advancements in chemistry
4. Convolution and Concurrency
   2020/02/06 by Cranch, James, Doherty, Simon, Struth, Georg · 1 citation
   #03G10 #06B35 #08A55 #68Q85 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)