Mike Beaven

According to our database, Mike Beaven authored at least 5 papers between 1989 and 1994.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1994

Modeling concurrent programs with colored Petri nets.

Ryan Stansifer, Mike Beaven, Dan C. Marinescu

J. Syst. Softw., 1994

1993

Explaining Type Errors In Polimorphic Languages.

Mike Beaven, Ryan Stansifer

LOPLAS, 1993

1991

A Parallel Algorithm for Computing Invariants of Petri Net Models.

Dan C. Marinescu, Mike Beaven, Ryan Stansifer

Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991

VERT-verification of real-time programs.

Mike Beaven, Brad Elmore, Dan C. Marinescu, Ryan Stansifer

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1989

A Functional Language with Classes.

Mike Beaven, Ryan Stansifer, Dan Wetklow

Proceedings of the Computing in the 90's, 1989