Behavior: A Temporal Approach to Process Modelling

Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki. Behavior: A Temporal Approach to Process Modelling. In Rohit Parikh, editor, Logics of Programs, Conference, Brooklyn College, June 17-19, 1985, Proceedings. Volume 193 of Lecture Notes in Computer Science, pages 237-254, Springer, 1985.

Authors

Van Nguyen

This author has not been identified. Look up 'Van Nguyen' in Google

Alan J. Demers

This author has not been identified. Look up 'Alan J. Demers' in Google

David Gries

This author has not been identified. Look up 'David Gries' in Google

Susan S. Owicki

This author has not been identified. Look up 'Susan S. Owicki' in Google