[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

relevant conferences?

From: Sara Hamouda <sara...@xxxxxxxxx>
Date: Mon, 26 Mar 2018 21:49:47 -0700 (PDT)

Hi TLA team and users,

Could anyone please recommend academic venues that are suitable for publishing distributed protocols modeled by TLA+ or similar tools?

Thanks in advance for your assistance.

Best Regards,

Sara

Follow-Ups:
- Re: [tlaplus] relevant conferences?
  - From: Stephan Merz

Prev by Date: Re: [tlaplus] How to give a refinement mapping from one subactions to many subactions
Next by Date: Re: [tlaplus] Fairness condition for messages
Previous by thread: Re: [tlaplus] Fairness condition for messages
Next by thread: Re: [tlaplus] relevant conferences?
Index(es):
- Date
- Thread