H.-D. Ehrich and C. Caleiro. Specifying communication in distributed information systems. Acta Informatica, 36:591--616, 2000. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Typing Non-uniform Concurrent Objects - Ravara (1999) (10 citations) (Correct)
FireWorks - Technical Report for Year 2 - Ryan (1999) (Correct)
Towards a Metalogic for Security Protocol Analysis.. - Caleiro, Vigano, Basin (Correct)
Metareasoning about Security Protocols using Distributed.. - Caleiro, Vigano, Basin (2004) (1 citation) Self-citation (Caleiro) (Correct)
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (1 citation) Self-citation (Ehrich) (Correct)
On the Development and Use of a Formal Object Oriented.. - Kowsari (2002) Self-citation (Ehrich) (Correct)
Checking Object Systems Via Multiple Observers - Ehrich, Pinger (2000) Self-citation (Ehrich) (Correct)
Mechanisms for Combining Logics - Caleiro, Sernadas, Sernadas Self-citation (Caleiro) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC