A Linear Time Process Algebra
No abstract available.
Related papers
- Program generation for small-scale linear algebra applications CGO 2018
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time POPL 2020
- Statically typed linear algebra in Haskell Haskell 2006
- An Overview and Synthesis on Timed Process Algebras CAV 1991
- First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders TACAS 2001
- Hydra: Automatic algorithm exploration from linear algebra equations CGO 2013
- Precise interprocedural analysis through linear algebra POPL 2004
- A Timed Process Algebra for Wireless Networks with an Application in Routing - (Extended Abstract) ESOP 2016