Javier Esparza

Identifiers

Open LibraryOL2759708A

Top Subjects

Petri nets (2)
Computer science (2)
Logic, Symbolic and mathematical (1)
Parallel processing (1)
Mathematical theory of computation (1)
Computers (1)
General (1)

Books by Javier Esparza

Total count: 10

On the decidability of model checking for several (mu)-calculi and Petri nets

LFCS, Dept. of Computer Science, University of Edinburgh1993-01-01
Application and Theory of Petri Nets 200223rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings

Springer London, Limited2003-01-01
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)New Ed edition

Cambridge University Press2005-09-08
UnfoldingsA Partial-Order Approach to Model Checking

Springer2008-01-01
Finite and Algorithmic Model Theory

Cambridge University Press2011-01-01
Finite and algorithmic model theory

Cambridge University Press2011-01-01
Automata, Languages, and Programming41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II

Springer London, Limited2014-01-01
Foundations of Software Science and Computation Structures20th International Conference, FOSSACS 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Springer Berlin / Heidelberg2017-01-01
Automated Technology for Verification and Analysis17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

Springer2019-10-06
Automata TheoryAn Algorithmic Approach

MIT Press2023-01-01