Compositional Design of Distributed Real-time Protocols

Compositional Design of Distributed Real-time Protocols

Cached

Download Links

by Ionut Buricea , Gurdip Singh

BibTeX

@MISC{Buricea_compositionaldesign,
    author = {Ionut Buricea and Gurdip Singh},
    title = {Compositional Design of Distributed Real-time Protocols},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

1659	A Theory of Timed Automata - Alur, Dill - 1994
9	A Decomposition Method for the Analysis and Design of Finite State Protocols - Choi, Miller - 1983
9	Constructing protocols with alternative functions - Lin - 1991
9	An improved method for constructing multiphase Communication Protocols - Lin - 1993
8	A methodology for constructing communication protocols with multiple concurrent functions - Lin - 1988
8	A Compositional Approach for Designing Protocols - Singh - 1993
7	On the construction of multiphase communication protocols - Singh, Sammeta
6	Structured Design of Communication Protocols - Singh, Mao - 1996
5	A Compositional Approach for Designing Multifunction Time-Dependent Protocols - Park, Miller - 1997
4	A Discipline for Constructing Multiphase Communication Protocols - Chow, Gouda, et al. - 1985
4	Synthesizing protocol specifications from service specifications in timed extended finite state machines - Park, Miller - 1997
2	Composition of service specifications - Singh, Mao - 1998
1	Timed reachability analysis method for efsm-based communication protocols and its experimental evaluation - Nagano, Hatakeyama, et al. - 1996