Litcius/Paper detail

Algebraic Theory for True Concurrency

Unknown authors

2023Elsevier eBooks12 citationsDOI

Topics & Concepts

ConcurrencyAlgebraic numberMathematicsComputer scienceAlgebra over a fieldProgramming languagePure mathematicsMathematical analysisFormal Methods in Verification
Algebraic Theory for True Concurrency | Litcius