The following pages link to Prasanna Thati (Q860884):
Displaying 16 items.
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- (Q2849863) (← links)
- (Q2851059) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- (Q2906942) (← links)
- A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching (Q2996132) (← links)
- (Q4735996) (← links)
- (Q4790350) (← links)
- Algebraic Methodology and Software Technology (Q5313004) (← links)
- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language (Q5390273) (← links)
- Natural Rewriting for General Term Rewriting Systems (Q5458797) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464481) (← links)
- Algebra and Coalgebra in Computer Science (Q5492833) (← links)
- Term Rewriting and Applications (Q5703856) (← links)
- Computer Aided Verification (Q5716595) (← links)
