Theoretical Computer Science, Volume 55

Volume 55, Number 1, 1987

• David Peleg:
  Concurrent Program Schemes and Their Logics. 1-45
  
• Helmut Seidl:
  Parameter Reduction of Higher Level Grammars. 47-85
  
• Eike Best, Raymond R. Devillers:
  Sequential and Concurrent Behaviour in Petri Net Theory. 87-136
  

Volume 55, Numbers 2-3, 1987

• Bruno Courcelle:
  An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. 141-181
  
• Franz-Josef Brandenburg:
  Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets. 183-263
  
• Miklós Bartha:
  An Equational Axiomatization of Systolic Systems. 265-289
  
• J.-P. Lehmann:
  A Universal Machine without Change of State. 291-348
  

Last update Thu May 23 19:35:21 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page