74 citations · 119 across the 7 of their papers we have counts for
8 papers
A Hybrid Linear Logic for Constrained Transition Systems
Joelle Despeyroux, Kaustuv Chaudhuri
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice
Iliano Cervesato, Kaustuv Chaudhuri
This volume constitutes the proceedings of LFMTP 2015, the Tenth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, held on August 1st, 2015 in B…
Undecidability of Multiplicative Subexponential Logic
Kaustuv Chaudhuri
Subexponential logic is a variant of linear logic with a family of exponential connectives--called subexponentials--that are indexed and arranged in a pre-order. Each subexponentia…
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology
Kaustuv Chaudhuri, Joelle Despeyroux
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable…
Reasoning About Higher-Order Relational Specifications
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek +1
The logic of hereditary Harrop formulas (HH) has proven useful for specifying a wide range of formal systems. This logic includes a form of hypothetical judgment that leads to dyna…
Verifying Safety Properties With the TLA+ Proof System
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport +1
TLAPS, the TLA+ proof system, is a platform for the development and mechanical verification of TLA+ proofs written in a declarative style requiring little background beyond element…