Constructivity in computer science

summer symposium, San Antonio, TX, June 19-22, 1991, proceedings

Object-based concurrent computing

ECOOP '91 workshop, Geneva, Swizterland, July 15-16, 1991

Advances in Petri Nets, 1992

Axioms and hulls

PARLE '92, parallel architectures and languages Europe

4th International PARLE Conference, Paris, France, June 15-18, 1992, proceedings