The following pages link to Kamal Lodaya (Q229995):
Displaying 35 items.
- Fine-grained concurrency with separation logic (Q763473) (← links)
- (Q918724) (redirect page) (← links)
- Proof theory for exception handling in a tasking environment (Q918725) (← links)
- Series-parallel languages and the bounded-width property (Q1566734) (← links)
- Rationality in algebras with a series operation (Q1854484) (← links)
- A logical study of distributed transition systems (Q1893730) (← links)
- Two-variable first order logic with counting quantifiers: complexity results (Q2408808) (← links)
- (Q2766545) (← links)
- Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE (Q2920142) (← links)
- (Q3000102) (← links)
- Parameterized Complexity Results for 1-safe Petri Nets (Q3090841) (← links)
- A Dose of Timed Logic, in Guarded Measure (Q3511241) (← links)
- Around Dot Depth Two (Q3584902) (← links)
- (Q3680242) (← links)
- (Q3785913) (← links)
- TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I (Q4020485) (← links)
- (Q4247275) (← links)
- (Q4381401) (← links)
- (Q4540969) (← links)
- Decidability of a partial order based temporal logic (Q4630294) (← links)
- Two-variable Logic with a Between Relation (Q4635866) (← links)
- (Q4733416) (← links)
- A Language-Theoretic View of Verification (Q4907857) (← links)
- LTL Can Be More Succinct (Q4931296) (← links)
- Analyzing Reachability for Some Petri Nets With Fast Growing Markings (Q4982096) (← links)
- (Q5079753) (← links)
- (Q5129940) (← links)
- (Q5190783) (← links)
- Kleene Theorems for Product Systems (Q5200095) (← links)
- Kleene Theorems for Synchronous Products with Matching (Q5268457) (← links)
- Stéphane Demri, Valentin Goranko, and Martin Lange, Temporal Logics in Computer Science: Finite-state Systems, Cambridge Tracts in Theoretical Computer Science, vol. 58, Cambridge University Press, Cambridge, 2016, viii + 744 pp. (Q5363373) (← links)
- (Q5422504) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896947) (← links)
- Models and logics for true concurrency. (Q5955751) (← links)
- Unary and two-variable interval logics (Q6601763) (← links)
