Mike Beaven

	1994
4		Ryan Stansifer, Mike Beaven, Dan C. Marinescu: Modeling concurrent programs with colored Petri nets. Journal of Systems and Software 26(2): 129-148 (1994)
	1993
3		Mike Beaven, Ryan Stansifer: Explaining Type Errors In Polimorphic Languages. LOPLAS 2(1-4): 17-30 (1993)
	1991
2		Dan C. Marinescu, Mike Beaven, Ryan Stansifer: A Parallel Algorithm for Computing Invariants of Petri Net Models. PNPM 1991: 136-143
	1989
1		Mike Beaven, Ryan Stansifer, Dan Wetklow: A Functional Language with Classes. Great Lakes Computer Science Conference 1989: 364-370

Coauthor Index

1	Dan C. Marinescu	[2] [4]
2	Ryan Stansifer	[1] [2] [3] [4]
3	Dan Wetklow	[1]