1. Coincidental extension of scattered context languages

   • A. Meduna

   Original article Pages: 307 - 314

2. Reasoning about probabilistic sequential programs in a probabilistic logic

   • M. Ying

   Original article Pages: 315 - 389