Back to Results
First PageMeta Content
Theoretical computer science / Computer programming / Declarative programming / Logic in computer science / Formal languages / Brane / Quantum field theory / String theory / Rewriting / Monad / Substitution


Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Spatial Calculus of Looping Sequences 1 Roberto Barbuti,2 Andrea Maggiolo
Add to Reading List

Document Date: 2015-12-18 06:55:15


Open Document

File Size: 278,61 KB

Share Result on Facebook