OBSCURE a specification language for abstract data types Thomas LehmannJacques Loeckx OriginalPaper Pages: 303 - 350
On the synchronization in parallel communicating grammar systems Gheorghe Păun OriginalPaper Pages: 351 - 367
Speeding up dynamic transitive closure for bounded degree graphs Daniel M. Yellin OriginalPaper Pages: 369 - 384