MPG.eBooks - Author Search Results

Cover Image

1

Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Meseguer, José...”

Cover Image

2

Specification, Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

Published 2014

Springer Berlin Heidelberg

Other Authors: “...Meseguer, José...”

Cover Image

3

Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Published 2011

Springer Berlin Heidelberg

Other Authors: “...Meseguer, José...”

Cover Image

4

Algebra, Meaning, and Computation : Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Meseguer, José...”

Cover Image

5

Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Meseguer, José...”

Cover Image

6

Protocols, Strands, and Logic : Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Published 2021

Springer International Publishing

Other Authors: “...Meseguer, José...”

Cover Image

7

Foundations of Security, Protocols, and Equational Reasoning : Essays Dedicated to Catherine A. Meadows

Published 2019

Springer International Publishing

Other Authors: “...Meseguer, José...”