A formal description of the OMG's Core Object Model and the meaning of compatible extension
- Iain S.C. Houston
- Mark B. Josephs
- 1995
- Computer Standards and Interfaces
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
5 results for Mark B. Josephs
Specifying distributed CICS in Z: Accessing local and remote resources
- Iain S.C. Houston
- Mark B. Josephs
- 1994
- Formal Aspects of Computing
The semantics of lazy functional languages
- Mark B. Josephs
- 1989
- Theoretical Computer Science
A state-based approach to communicating processes
- Mark B. Josephs
- 1988
- Distributed Computing
The date refinement calculator for Z specifications
- Mark B. Josephs
- 1988
- Information Processing Letters