Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday

DOI10.1007/978-3-319-23165-5zbMath1319.68011OpenAlexW2478954519MaRDI QIDQ494742

No author found.

Publication date: 2 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-23165-5

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42)

Related Items (2)

Assertion-based analysis via slicing withABETS(system description) ⋮ Programming and symbolic computation in Maude

This page was built for publication: Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday