Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

DOI10.1007/978-3-642-24933-4MaRDI QIDQ644331zbMATH OpenOpenAlexFDO

Authors

Publication date 3 November 2011

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

Full work available at URL https://doi.org/10.1007/978-3-642-24933-4

Mathematics Subject Classification ID

Festschriften (00B30) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to biology (92-06)

Cited in

(9)

• The rewriting logic semantics project: a progress report
• Twenty years of rewriting logic
• Explaining safety failures in NetKAT
• Compositional schedulability analysis of real-time actor-based systems
• Regular expression order-sorted unification and matching
• Metalevel transformation of strategies
• The Maude strategy language
• A Maude environment for CafeOBJ
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

This page was built for publication: Formal modeling: actors, open systems, biological systems. Essays dedicated to Carolyn Talcott on the occasion of her 70th birthday

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