Vijay K. Garg

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Consistency Conditions for Multi-Object Distributed Operations.

[BibT_eX]

[DOI]

Neeraj Mittal

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Distributed Predicate Detection in a Faulty Environment.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Implementable Failure Detectors in Asynchronous Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

Subscriber data management in personal communications services networks.

[BibT_eX]

[DOI]

E. Lee Sneed

W. E. Gooding

IEEE Wirel. Commun., 1997

Monitoring Functions on Global States of Distributed Programs.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1997

Efficient Detection of Channel Predicates in Distributed Systems.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 1997

Detecting Conjunctions of Global Predicates.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1997

Methods for observing global properties in distributed systems.

[BibT_eX]

[DOI]

IEEE Concurrency, 1997

Application of adaptive array antenna to a TDMA cellular/PCS system.

[BibT_eX]

[DOI]

Laura Huntington

IEEE Commun. Mag., 1997

TDMA for North American PCS systems.

[BibT_eX]

[DOI]

Elbert L. Sneed

Bell Labs Tech. J., 1997

Using the Causal Domain to Specify and verify Distributed Programs.

[BibT_eX]

[DOI]

Acta Informatica, 1997

Optimistic agreement in distributed systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1997

Optimistic Distributed Simulation Based on Transitive Dependency Tracking.

[BibT_eX]

[DOI]

Om P. Damani

Yi-Min Wang

Proceedings of the Eleventh Workshop on Parallel and Distributed Simulation, 1997

Distributed Recovery with K-Optimistic Logging.

[BibT_eX]

[DOI]

Yi-Min Wang

Om P. Damani

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Characterization of Message Ordering Specifications and Protocols.

[BibT_eX]

[DOI]

Venkatesh V. Murty

Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Observation and Control for Debugging Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Detection of Strong Unstable Predicates in Distributed Programs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1996

Corrections to "Finite buffer realization of input-output discrete event systems".

[BibT_eX]

[DOI]

Steven I. Marcus

IEEE Trans. Autom. Control., 1996

Supervisory control of real-time discrete-event systems using lattice theory.

[BibT_eX]

[DOI]

Darren D. Cofer

IEEE Trans. Autom. Control., 1996

Interworking and interoperability issues for North American PCS.

[BibT_eX]

[DOI]

Joseph E. Wilkes

IEEE Commun. Mag., 1996

Digital wireless local loop system.

[BibT_eX]

[DOI]

E. Lee Sneed

IEEE Commun. Mag., 1996

Observation of Global Properties in Distributed Systems.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Characterization of Message Ordering Specifications and Protocols (Abstract).

[BibT_eX]

[DOI]

Venkatesh V. Murty

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

How to Recover Efficiently and Asynchronously when Optimism Fails.

[BibT_eX]

[DOI]

Om P. Damani

Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

Principles of distributed systems.

[BibT_eX]

Kluwer, ISBN: 978-0-7923-9668-0, 1996

1995

Extremal Solutions of Inequations over Lattices with Applications to Supervisory Control.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Finite buffer realization of input-output discrete-event systems.

[BibT_eX]

[DOI]

Steven I. Marcus

IEEE Trans. Autom. Control., 1995

Efficient Detection of Restricted Classes of Global Predicates.

[BibT_eX]

[DOI]

Craig M. Chase

Proceedings of the Distributed Algorithms, 9th International Workshop, 1995

Expressing and detecting control flow properties of distributed computations.

[BibT_eX]

[DOI]

Eddy Fromentin

Michel Raynal

Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995

An algorithm for guaranteeing synchronous ordering of messages.

[BibT_eX]

[DOI]

Venkatesh V. Murty

Proceedings of the Second International Symposium on Autonomous Decentralized Systems, 1995

Distributed Algorithms for Detecting Conjunctive Predicates.

[BibT_eX]

[DOI]

Craig M. Chase

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

On Controlling Timed Discrete Event Systems.

[BibT_eX]

[DOI]

Darren D. Cofer

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Detecting conjunctive channel predicates in a distributed programming environment.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual Hawaii International Conference on System Sciences (HICSS-28), 1995

Observation of Software for Distributed Systems with RCL.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Deriving distributed algorithms from a general predicate detector.

[BibT_eX]

[DOI]

Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994

Detection of Weak Unstable Predicates in Distributed Programs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

Repeated Computation of Global Functions in a Distributed Environment.

[BibT_eX]

[DOI]

Joydeep Ghosh

IEEE Trans. Parallel Distributed Syst., 1994

Causality versus time: how to specify and verify distributed algorithms.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE Symposium on Parallel and Distributed Processing, 1994

On the Fly Testing of Regular Patterns in Distributed Computations.

[BibT_eX]

[DOI]

Eddy Fromentin

Michel Raynal

Proceedings of the 1994 International Conference on Parallel Processing, 1994

1993

Predicates and predicate transformers for supervisory control of discrete event dynamical systems.

[BibT_eX]

[DOI]

Steven I. Marcus

IEEE Trans. Autom. Control., 1993

Using Induction to Prove Properties of Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE Symposium on Parallel and Distributed Processing, 1993

Detecting Relational Global Predicates in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1993

An algorithm for minimally latent global virtual time.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Parallel and Distributed Simulation, 1993

1992

Concurrent Regular Expressions and Their Relationship to Petri Nets.

[BibT_eX]

[DOI]

M. T. Ragunath

Theor. Comput. Sci., 1992

Some Optimal Algorithms for Decomposed Partially Ordered Sets.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Detection of Unstable Predicates in Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992

1991

ConC: A Language for Concurrent Programming.

[BibT_eX]

[DOI]

Comput. Lang., 1991

Detection of strong predicates in distributed programs.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 1991

1990

Symmetry in Spite of Hierarchy.

[BibT_eX]

[DOI]

Joydeep Ghosh

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1990), May 28, 1990

1989

Modeling of Distributed Systems by Concurrent Regular Expressions.

[BibT_eX]

Proceedings of the Formal Description Techniques, 1989

1988

Support for Reusability in Genesis.

[BibT_eX]

[DOI]

Atul Prakash

IEEE Trans. Software Eng., 1988

Analysis of Distributed Systems With Many Identical Processes.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Distributed Computing Systems, 1988

High level communication primitives for concurrent systems.

[BibT_eX]

[DOI]

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

1987

Software Development Support for AI Programs.

[BibT_eX]

[DOI]

Shashi Shekhar

Computer, 1987

Issues in the Development of Large, Distributed, and Reliable Software.

[BibT_eX]

[DOI]

Adv. Comput., 1987

1986

Programming in the Large.

[BibT_eX]

[DOI]