AboutSign inJoin

José Meseguer

About

Some information is missing for this author.

Books

Concurrency, Graphs and Models
Concurrency, Graphs and Models
Pierpaolo Degano, José Meseguer, Rocco de Nicola
Concurrency, Graphs and Models
Concurrency, Graphs and Models
Pierpaolo Degano, José Meseguer, Rocco de Nicola
Protocols, Strands, and Logic
Protocols, Strands, and Logic
José Meseguer, Paul Rowe, Daniel Dougherty, Sebastian Alexander Mödersheim
All About Maude - A High-Performance Logical Framework
All About Maude - A High-Performance Logical Framework
Francisco Durán, José Meseguer, Narciso Martí-Oliet, Carolyn Talcott, Manuel Clavel, Steven Eker, Patrick Lincoln
Formal Modeling: Actors; Open Systems, Biological Systems
Formal Modeling: Actors; Open Systems, Biological Systems
José Meseguer, Gul Agha, Olivier Danvy
Formal Modeling: Actors; Open Systems, Biological Systems
Formal Modeling: Actors; Open Systems, Biological Systems
José Meseguer, Gul Agha, Olivier Danvy
Algebra, Meaning, and Computation
Algebra, Meaning, and Computation
José Meseguer, Jean-Pierre Jouannaud, Kokichi Futatsugi
Specification, Algebra, and Software
Specification, Algebra, and Software
Shusaku Iida, José Meseguer, Kazuhiro Ogata

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian