A model for multiparadigm systems

Abstract

Abs t rac t : Systems consisting of programs from different paradigms or languages are called multiparadigm systems. A model for multiparadigm systems is developed using a possible worlds semantic. This semantic has been adapted from philosophy and successfully applied to analyzing protocols in distributed computing and in developing models that provide a… (More)
DOI: 10.1145/327164.327265

Topics

  • Presentations referencing similar topics