MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Simple Representative Instantiations for Multicast Protocols." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Simple Representative Instantiations for Multicast Protocols
by Javier Esparza, Monika Maidl — 2003 — In TACAS 2003
…Simple representative instantiations for multicast protocols Javier Esparza and Monika Maidl LFCS…
Cited by 4 (0 self) – Add To MetaCart

Event Multiset Lemmas Channel Contents
by Tom Ridge, Javier Esparza, Ltl Simulationrelation — 2005
… • “Simple representative instantiations for multicast protocols” Monika Maidl and Javier Esparza, TACAS 2003…
Add To MetaCart

Metatheory and Operational Reasoning: Real Languages and Executable Code
by Previous Track Record, Tom Ridge — 2006
… instantiations for multicast protocols. In TACAS 2003, pages 128–143. Springer-Verlag LNCS 2619, 2003. Source…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB