Derivation of efficient programs for computing sequences of actions

• Authors:

• A. Pettorossi

• Affiliations:

• Istituto di Analisi dei Sistemi ed Informatica, CNR, Roma, Italy

• Venue:
• Theoretical Computer Science
• Year:
• 1987