Behavior: A Temporal Approach to Process Modelling

• Authors:

• Van Nguyen;Alan J. Demers;David Gries;Susan S. Owicki

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the Conference on Logic of Programs
• Year:
• 1985