1. Mathematics of multisets in the Fraenkel–Mostowski framework;Alexandru;Bull. Math. Soc. Sci. Math. Roumanie,2015
2. Mobility in Process Calculi and Natural Computing;Aman,2011
3. Denotational semantics of a parallel object-oriented language;America;Inform. and Comput.,1989
4. A rewriting logic framework for operational semantics of membrane systems;Andrei;Theoret. Comput. Sci.,2007
5. Compiling with Continuations;Appel,2007