Martin Büchi

According to our database, Martin Büchi authored at least 7 papers between 1997 and 2000.

Collaborative distances:

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

2000

A Foundation for Refining Concurrent Objects.

Martin Büchi, Emil Sekerinski

Fundam. Informaticae, 2000

Generic Wrappers.

Martin Büchi, Wolfgang Weck

Proceedings of the ECOOP 2000, 2000

1999

Compositional Symmetric Sharing in B.

Martin Büchi, Ralph-Johan Back

Proceedings of the FM'99 - Formal Methods, 1999

1998

Compound Types for Java.

Martin Büchi, Wolfgang Weck

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

The B Bank: A Complete Case Study.

Martin Büchi

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Formal Methods for Component Software: The Refinement Calculus Perspective.

Martin Büchi, Emil Sekerinski

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Action-Based Concurrency and Synchronization for Objects.

Ralph-Johan Back, Martin Büchi, Emil Sekerinski

Proceedings of the Transformation-Based Reactive Systems Development, 1997