Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Banach, Richard"

Now showing items 1-6 of 6

    • Conference Object  

      Highly parallel model for object-oriented concurrent constraint programming 

      Banach, Richard; Papadopoulos, George Angelos (IEEE, 1995)
      Two of the currently most promising programming paradigms, namely Object-Oriented Programming and Concurrent Constraint Programming are combined into a single, highly parallel computational model based on Term Graph Rewriting ...
    • Conference Object  

      Implementing interaction nets in MONSTR 

      Banach, Richard; Papadopoulos, George Angelos (Association for Computing Machinery, 1997)
      Two superficially similar graph rewriting formalisms, Interaction Nets and MONSTR, are studied. Interaction Nets come from multiplicative Linear Logic and feature undirected graph edges, while MONSTR arose from the desire ...
    • Article  

      IWIM semantics via fibred automata 

      Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2002)
      Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination ...
    • Conference Object  

      Linear behaviour of term graph rewriting programs 

      Banach, Richard; Papadopoulos, George Angelos (ACM, 1995)
      The generalized term graph rewriting computational model is exploited to implement concurrent languages based on Girard's Linear Logic (LL). In particular a fragment of LL is identified which is able to serve as a `process ...
    • Article  

      A multiply hierarchical automaton semantics for the IWIM coordination model 

      Banach, Richard; Arbab, Farhad; Papadopoulos, George Angelos; Glauert, J. R. W. (2003)
      The drawbacks of programming coordination activities directly within the applications software that needs them are briefly reviewed. Coordination programming helps to separate concerns, making complex coordination protocols ...
    • Conference Object  

      Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages 

      Banach, Richard; Papadopoulos, George Angelos (IEEE, 1995)
      The usefulness of the generalized computational model of Term Graph Rewriting Systems (TGRS) for designing and implementing concurrent object-oriented languages, and also for specifying and reasoning about the interaction ...