José Meseguer
José Meseguer
3 books in the database
Books
Co-authored books and collections
Books that list José Meseguer among their authors but not as the lead author: co-written works, collections and compilations.
Specification, Algebra, and SoftwareShusaku Iida
Specification, Algebra, and Software
Shusaku Iida · 2014
Formal Modeling : Actors; Open Systems, Biological SystemsGul Agha
Formal Modeling : Actors; Open Systems, Biological Systems
Gul Agha · 2011
Algebra, meaning, and computationJoseph Goguen
Algebra, meaning, and computation
Joseph Goguen · 2006
Protocols, Strands, and LogicDaniel Dougherty
Protocols, Strands, and Logic
Daniel Dougherty · 2022
Foundations of Security, Protocols, and Equational ReasoningJoshua Guttman
Foundations of Security, Protocols, and Equational Reasoning
Joshua Guttman · 2019
Concurrency, Graphs and ModelsPierpaolo Degano
Concurrency, Graphs and Models
Pierpaolo Degano · 2008