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

DOI10.1007/978-3-319-23165-5MaRDI QIDQ494742zbMATH OpenOpenAlexFDO

Authors

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

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

Cited in

(5)

• Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday
• Programming and symbolic computation in Maude
• Rewriting, computation and proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday.
• Assertion-based analysis via slicing withABETS(system description)
• Graded quantitative narrowing

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494742)