Theoretical Computer Science, Volume 96

Volume 96, Number 1, 1992

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

Volume 96, Number 2, 1992

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