Mike Beaven

Explaining type errors in polymorphic languages

Ryan Stansifer, Mike Beaven, 1993, LOPL.

A parallel algorithm for computing invariants of Petri net models

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

Modeling concurrent programs with colored Petri nets

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1994, J. Syst. Softw..

VERT-verification of real-time programs

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

Why that expression has this type, and how it got it

Mike Beaven, 1992 .

A statically-typed language with classes

Mike Beaven, Dan Wetklow, Ryan Stanisfer, 1990 .

A Functional Language with Classes

Ryan Stansifer, Mike Beaven, Dan Wetklow, 1989, Great Lakes Computer Science Conference.

Critical path analysis of concurrent Ada programs using colored Petri nets: rewrite rules

Dan C. Marinescu, Ryan Stansifer, Mike Beaven, 1991, 1991., IEEE International Sympoisum on Circuits and Systems.