Virtual environment architectures: interoperability through software interconnection technology

This publication has 19 references indexed in Scilit:

• The Inscape Environment
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• The POLYLITH software bus
  ACM Transactions on Programming Languages and Systems, 1994
• An environment for developing fault-tolerant software
  IEEE Transactions on Software Engineering, 1991
• Temporal hyperprogramming
  Journal of Visual Languages & Computing, 1990
• Constructing distributed systems in Conic
  IEEE Transactions on Software Engineering, 1989
• Petri-net-based hypertext: document structure with browsing semantics
  ACM Transactions on Information Systems, 1989
• Programmable browsing semantics in Trellis
  Published by Association for Computing Machinery (ACM) ,1989
• Environments for prototyping parallel algorithms
  Journal of Parallel and Distributed Computing, 1988
• Interconnecting heterogeneous computer systems
  Communications of the ACM, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986