Arkadi Estrin

According to our database1, Arkadi Estrin authored at least 2 papers between 1999 and 2002.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
The Expressive Power of Temporal Logic of Actions.
J. Log. Comput., 2002

1999
The Expressive Power of Temporal Logic of Actions (Extended Abstract).
Proceedings of the CONCUR '99: Concurrency Theory, 1999


  Loading...