Javier Esparza
8 published titles
On the decidability of model checking for several [mu]-calculi and Petri nets
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1993
- Details
Decidability of model checking for infinite-state concurrent systems
2 editions
- Univ. of Edinburgh, Department of Computer Science
- 1994
- Details
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
Trapping mutual exclusion in the box calculus
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1994
- Details
An effective tableau system for the linear time mu-calculus
(Contributor)
1 edition
- LFCS, Dept. of Computer Science, University of Edinburgh
- 1995
- Details
Free choice Petri nets
(Contributor)
1 edition
- ISBN: 0521465192
- Cambridge University Press
- 1995
- Details
Application and theory of petri nets 2002 : 23rd International Conference, ICATPN 2002, Adelaide, Australia, June, 24-30, 2002 : proceedings
(Contributor)
1 edition
- ISBN: 3540437878
- Springer
- 2002
- Details
Finite and algorithmic model theory
(Contributor)
1 edition
- ISBN: 9780521718202
- Cambridge University Press
- 2011
- Details
Automata, languages, and programming : 41st international colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, proceedings
(Contributor)
1 edition
- ISBN: 9783662439500
- Springer
- 2014
- Details
