Journal of Logic and Algebraic Programming, Volume 67

Volume 67, Numbers 1-2, April-May 2006

• Fernando Orejas:
  Thirty years of algebraic specification. 1-2
  
• Michel Bidoit, Rolf Hennicker:
  Constructor-based observational logic. 3-51
  
• Christine Choppy, Gianna Reggio:
  A formally grounded software specification method. 52-86
  
• Corina Cîrstea:
  An institution of modal logics for coalgebras. 87-113
  
• Till Mossakowski, Serge Autexier, Dieter Hutter:
  Development graphs - Proof management for structured specifications. 114-145
  
• Till Mossakowski, Lutz Schröder, Markus Roggenbach, Horst Reichel:
  Algebraic-coalgebraic specification in CoCasl. 146-197
  
• Julia Padberg, Hartmut Ehrig:
  Petri net modules in the transformation-based component framework. 198-225
  
• Alberto Verdejo, Narciso Martí-Oliet:
  Executable structural operational semantics in Maude. 226-293