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
Paper
Publications
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
PaperThe semantics of lazy functional languages
- Mark B. Josephs
- 1989
- Theoretical Computer Science
PaperA state-based approach to communicating processes
- Mark B. Josephs
- 1988
- Distributed Computing
PaperThe date refinement calculator for Z specifications
- Mark B. Josephs
- 1988
- Information Processing Letters
Paper