About José Meseguer
Born 1950. José Meseguer is a Spanish computer scientist.
Selected research
Clavel, Manuel, et al. All about Maude — a high-performance logical framework: how to specify, program and verify systems in rewriting logic. Springer-Verlag, 2007.
Goguen, Joseph A., et al. "Introducing obj." Software Engineering with OBJ. Springer, Boston, MA, 2000. 3–167.
Meseguer, José. "Conditional rewriting logic as a unified model of concurrency." Theoretical computer science 96.1 (1992): 73–155.
Goguen, Joseph A., and José Meseguer. "Security policies and security models." 1982 IEEE Symposium on Security and Privacy. IEEE, 1982.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped José Meseguer's
Frequently asked questions
Who is José Meseguer?
Spanish computer scientist
When was José Meseguer born?
José Meseguer was born in 1950 in Murcia.
What is José Meseguer's occupation?
José Meseguer is a computer scientist.
What nationality is José Meseguer?
José Meseguer is Spanish.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). José Meseguer. https://biography.guide/jose-meseguer/
MLA: "José Meseguer." Biography.guide, https://biography.guide/jose-meseguer/.
Chicago: "José Meseguer." Biography.guide. https://biography.guide/jose-meseguer/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:17 UTC