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
  

Last update Fri May 25 09:44:14 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page