August 1, 2004
      
                  
        
  Author(s)
  Conrad  Bock,   Michael  Gruninger
 
       
            
    
    
        Inputs and outputs are ubiquitous in flow modeling, including popular programming languages. This paper examines how inputs and outputs can be formalized in the Process Specification Language (PSL) to reduce ambiguity and increase expressiveness compared