The following pages link to Gul A. Agha (Q2764141):
Displaying 29 items.
- (Q2764142) (← links)
- Euclidean Model Checking: A Scalable Method for Verifying Quantitative Properties in Probabilistic Systems (Q2849997) (← links)
- (Q2906942) (← links)
- A Theory of May Testing for Asynchronous Calculi with Locality and No Name Matching (Q2996132) (← links)
- LTLC: Linear Temporal Logic for Control (Q3523118) (← links)
- (Q3680253) (← links)
- A foundation for actor computation (Q4339018) (← links)
- (Q4536983) (← links)
- Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition (Q4633151) (← links)
- (Q4735996) (← links)
- (Q4790350) (← links)
- (Q4891904) (← links)
- Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions (Q4989030) (← links)
- Scalable termination detection for distributed actor systems (Q5089275) (← links)
- (Q5094124) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308393) (← links)
- Computer Aided Verification (Q5312900) (← links)
- Algebraic Methodology and Software Technology (Q5313004) (← links)
- An Algebraic Theory of Actors and Its Application to a Simple Object-Based Language (Q5390273) (← links)
- Characterizing Configuration Spaces of Simple Threshold Cellular Automata (Q5464185) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465881) (← links)
- Unconventional Computation (Q5479212) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703791) (← links)
- Computer Aided Verification (Q5716565) (← links)
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation (Q5896950) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899070) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902540) (← links)
- A bounded model checking technique for discrete-time nonlinear systems (Q6546447) (← links)
- A survey of statistical model checking (Q6583725) (← links)
