Theoretical Computer Science, Volume 96

Volume 96, Number 1, 1992

• Mogens Nielsen, Grzegorz Rozenberg, P. S. Thiagarajan: Elementary Transition Systems. 3-33
• Madhavan Mukund, P. S. Thiagarajan: A Logical Characterization of Well Branching Event Structures. 35-72
• José Meseguer: Conditioned Rewriting Logic as a United Model of Concurrency. 73-155
• Julian C. Bradfield, Colin Stirling: Local Model Checking for Infinite State Spaces. 157-174
• Eike Best, Maciej Koutny: Petri Net Semantics of Priority Systems. 175-174
• Gérard Berry, Gérard Boudol: The Chemical Abstract Machine. 217-248
• Egidio Astesiano, Alessandro Giovini, Gianna Reggio: Observational Structures and Their Logics. 249-283

Volume 96, Number 2, 1992

• Vijay K. Garg, M. T. Ragunath: Concurrent Regular Expressions and Their Relationship to Petri Nets. 285-304
• Dung T. Huynh: Nonuniform Complexity and the Randomness of Certain Complete Languages. 305-324
• Masami Ito, Helmut Jürgensen, Huei-Jan Shyr, Gabriel Thierrin: Languages Whose n-Element Subsets Are Codes. 325-344
• Rana Barua: The Hausdorff-Kuratowski Hierarchy of omega-Regular Languages and a Hierarchy of Muller Automata. 345-360
• Thane E. Plambeck: Daisies, Kayles, and the Silbert-Conway Decomposition in Misère Octal Games. 361-388
• Thomas S. Ferguson: Mate with Bishop and Knight in Kriegspiel. 389-403
• Gérard Duchamp, Daniel Krob: On the Partially Commutative Shuffle Product. 405-410
• Anna Slobodová: Some Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly. 411-419