José Meseguer

ספרים שבהם José Meseguer מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

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