Searching for authors named "Rohit Chadha" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
A Distributed Kripke Semantics
- …A Distributed Kripke Semantics Rohit Chadha, Damiano Macedonio and Vladimiro Sassone Abstract…
- Cited by 2 (0 self) – Add To MetaCart
-
A Hybrid Intuitionistic Logic: Semantics and Decidability
- …Abstract A Hybrid Intuitionistic Logic: Semantics and Decidability Rohit Chadha 1 Damiano…
- Cited by 4 (0 self) – Add To MetaCart
-
Formal Analysis of Multi-Party Contract Signing
- … analysis of multi-party contract signing Rohit Chadha1⋆ , Steve Kremer2⋆⋆ 3⋆ ⋆ ⋆ , and Andre Scedrov 1…
- Cited by 19 (3 self) – Add To MetaCart
-
unknown title
- …Rohit Chadha University of Sussex rchadha@(email omitted); Formal analysis of multi-party contract…
- Add To MetaCart
-
Formal Analysis of Multi-Party Contract Signing
- …Formal analysis of multi-party contract signing Rohit Chadha⋆ , Steve Kremer⋆⋆ , and Andre Scedrov…
- Add To MetaCart
-
Contract Signing, Optimism, and Advantage
- …Contract Signing, Optimism, and Advantage ? Rohit Chadha 1;4 , John C. Mitchell 2 , Andre…
- Cited by 8 (3 self) – Add To MetaCart
Showing 1 through 6.
