Glenn Lewis

According to our database, Glenn Lewis authored at least 5 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2001

Incremental State Space Construction for Coloured Petri Nets.

Glenn Lewis, Charles Lakos

Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000

Behavior Inheritance for Object Lifecycles.

Charles Lakos, Glenn Lewis

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

A Practical Approach to Incremental Specification.

Charles Lakos, Glenn Lewis

Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

1999

A Practical Approach to Behavioural Inheritance in the Context of Coloured Petri Nets.

Charles Lakos, Glenn Lewis

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1997

Animating Formal Specifications Using Java Applets.

Charles Lakos, Glenn Lewis

Proceedings of the TOOLS 1997: 25th International Conference on Technology of Object-Oriented Languages and Systems, 1997