Conditional rewrite rules as an algebraic semantics of processes

Bibliographic Details
Main Author: Badouel, Eric (Author)
Format: Book
Language:English
Published: Le Chesnay : Inst. National de Recherche en Informatique et en Automatique 1990
Series:Institut National de Recherche en Informatique et en Automatique. Rapports de recherche 1226
Institut de Recherche en Informatique et Systèmes Aléatoires. Publications internes 528
Physical Description:43 S.
QR Code: Show QR Code