Login / Signup

Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.

J. W. de BakkerFranck van BreugelArie de Bruin
Published in: MFCS (1993)
Keyphrases
  • empirical studies
  • operating system
  • logic programming
  • learning algorithm
  • knowledge base
  • experimental study