Sign up & Download
Sign in


Papers in this group tagged with "modeling"

  1. This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When combined with a development of Dijkstra's guarded…